Symbol: TTBR1_EL1
sys/arm64/include/armreg.h
3056
#define TTBR1_EL1_REG MRS_REG_ALT_NAME(TTBR1_EL1)
sys/arm64/vmm/vmm_arm64.c
1298
return hypctx_sys_reg(hypctx, TTBR1_EL1);
sys/arm64/vmm/vmm_arm64.c
658
paging->ttbr1_addr = hypctx_read_sys_reg(hypctx, TTBR1_EL1) &
sys/arm64/vmm/vmm_hyp.c
331
hypctx_write_sys_reg(hypctx, TTBR1_EL1,
sys/arm64/vmm/vmm_hyp.c
434
hypctx_read_sys_reg(hypctx, TTBR1_EL1));
sys/arm64/vmm/vmm_reset.c
424
HFGWTR, TTBR1_EL1, NOTRAP);