Symbol: TTBR_ASID_MASK
sys/arm64/arm64/exec_machdep.c
463
asid = READ_SPECIALREG(ttbr0_el1) & TTBR_ASID_MASK;
sys/arm64/vmm/vmm_arm64.c
640
paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);
sys/arm64/vmm/vmm_arm64.c
641
paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);
usr.sbin/bhyve/gdb.c
339
paging->ttbr0_addr = regs[0] & ~(TTBR_ASID_MASK | TTBR_CnP);
usr.sbin/bhyve/gdb.c
340
paging->ttbr1_addr = regs[1] & ~(TTBR_ASID_MASK | TTBR_CnP);