Symbol: TTBR0_EL1
sys/arm64/include/armreg.h
3040
#define TTBR0_EL1_REG MRS_REG_ALT_NAME(TTBR0_EL1)
sys/arm64/vmm/vmm_arm64.c
1296
return hypctx_sys_reg(hypctx, TTBR0_EL1);
sys/arm64/vmm/vmm_arm64.c
656
paging->ttbr0_addr = hypctx_read_sys_reg(hypctx, TTBR0_EL1) &
sys/arm64/vmm/vmm_hyp.c
329
hypctx_write_sys_reg(hypctx, TTBR0_EL1,
sys/arm64/vmm/vmm_hyp.c
432
hypctx_read_sys_reg(hypctx, TTBR0_EL1));
sys/arm64/vmm/vmm_reset.c
426
HFGWTR, TTBR0_EL1, NOTRAP);