Searched refs:modify_el1_s1pie_regs (Results 1 – 1 of 1) sorted by relevance
71 static void modify_el1_s1pie_regs(uint64_t s1pie_value) in modify_el1_s1pie_regs() function137 modify_el1_s1pie_regs(mask); in modify_el1_ctx_regs()