Symbol: TPIDR_EL1
sys/arm64/vmm/vmm_hyp.c
293
hypctx_write_sys_reg(hypctx, TPIDR_EL1, READ_SPECIALREG(tpidr_el1));
sys/arm64/vmm/vmm_hyp.c
396
WRITE_SPECIALREG(tpidr_el1, hypctx_read_sys_reg(hypctx, TPIDR_EL1));
sys/arm64/vmm/vmm_reset.c
432
HFGWTR, TPIDR_EL1, NOTRAP);