Symbol: SP_EL0
sys/arm64/vmm/vmm_hyp.c
290
hypctx_write_sys_reg(hypctx, SP_EL0, READ_SPECIALREG(sp_el0));
sys/arm64/vmm/vmm_hyp.c
393
WRITE_SPECIALREG(sp_el0, hypctx_read_sys_reg(hypctx, SP_EL0));