Searched refs:SYS_PSTATE_PAN (Results 1 – 2 of 2) sorted by relevance
457 host_pan = read_sysreg_s(SYS_PSTATE_PAN); in at_s1e1p_fast()458 write_sysreg_s(*vcpu_cpsr(vcpu) & PSTATE_PAN, SYS_PSTATE_PAN); in at_s1e1p_fast()469 write_sysreg_s(host_pan, SYS_PSTATE_PAN); in at_s1e1p_fast()
113 #define SYS_PSTATE_PAN sys_reg(3, 0, 4, 2, 3) macro