Symbol: TPIDRRO_EL0
sys/arm64/vmm/vmm_hyp.c
292
hypctx_write_sys_reg(hypctx, TPIDRRO_EL0, READ_SPECIALREG(tpidrro_el0));
sys/arm64/vmm/vmm_hyp.c
395
WRITE_SPECIALREG(tpidrro_el0, hypctx_read_sys_reg(hypctx, TPIDRRO_EL0));
sys/arm64/vmm/vmm_reset.c
430
HFGWTR, TPIDRRO_EL0, NOTRAP);