Searched refs:s1poe_value (Results 1 – 1 of 1) sorted by relevance
79 static void modify_el1_s1poe_regs(uint64_t s1poe_value) in modify_el1_s1poe_regs() argument82 write_por_el1(s1poe_value); in modify_el1_s1poe_regs()