Searched refs:CurrentEL_EL1 (Results 1 – 3 of 3) sorted by relevance
16 #define CurrentEL_EL1 (1 << 2) macro
232 } else if (read_sysreg(CurrentEL) != CurrentEL_EL1 || in __invalidate_icache_guest_page()
251 cmp x0, #CurrentEL_EL1