Symbol: TCR_EL1
sys/arm64/include/armreg.h
2894
#define TCR_EL1_REG MRS_REG_ALT_NAME(TCR_EL1)
sys/arm64/vmm/vmm_arm64.c
1300
return hypctx_sys_reg(hypctx, TCR_EL1);
sys/arm64/vmm/vmm_arm64.c
660
paging->tcr_el1 = hypctx_read_sys_reg(hypctx, TCR_EL1);
sys/arm64/vmm/vmm_hyp.c
325
hypctx_write_sys_reg(hypctx, TCR_EL1,
sys/arm64/vmm/vmm_hyp.c
429
hypctx_read_sys_reg(hypctx, TCR_EL1));
sys/arm64/vmm/vmm_reset.c
434
HFGWTR, TCR_EL1, NOTRAP);