Searched refs:s1pie_value (Results 1 – 1 of 1) sorted by relevance
71 static void modify_el1_s1pie_regs(uint64_t s1pie_value) in modify_el1_s1pie_regs() argument74 write_pire0_el1(s1pie_value); in modify_el1_s1pie_regs()75 write_pir_el1(s1pie_value); in modify_el1_s1pie_regs()