Symbol: TCR2_EL1
sys/arm64/vmm/vmm_arm64.c
1302
return hypctx_sys_reg(hypctx, TCR2_EL1);
sys/arm64/vmm/vmm_arm64.c
661
paging->tcr2_el1 = hypctx_read_sys_reg(hypctx, TCR2_EL1);
sys/arm64/vmm/vmm_hyp.c
328
hypctx_write_sys_reg(hypctx, TCR2_EL1, 0);