Symbol: SPSR_EL1
sys/arm64/include/armreg.h
2817
#define SPSR_EL1_REG MRS_REG_ALT_NAME(SPSR_EL1)
sys/arm64/vmm/vmm_arm64.c
1141
hypctx_write_sys_reg(hypctx, SPSR_EL1, new_spsr);
sys/arm64/vmm/vmm_hyp.c
323
hypctx_write_sys_reg(hypctx, SPSR_EL1,
sys/arm64/vmm/vmm_hyp.c
427
hypctx_read_sys_reg(hypctx, SPSR_EL1));