Searched refs:s2poe_value (Results 1 – 1 of 1) sorted by relevance
86 static void modify_el1_s2poe_regs(uint64_t s2poe_value) in modify_el1_s2poe_regs() argument89 write_s2por_el1(s2poe_value); in modify_el1_s2poe_regs()