Symbol: TPIDR_EL0
sys/arm64/vmm/vmm_hyp.c
291
hypctx_write_sys_reg(hypctx, TPIDR_EL0, READ_SPECIALREG(tpidr_el0));
sys/arm64/vmm/vmm_hyp.c
394
WRITE_SPECIALREG(tpidr_el0, hypctx_read_sys_reg(hypctx, TPIDR_EL0));
sys/arm64/vmm/vmm_reset.c
428
HFGWTR, TPIDR_EL0, NOTRAP);