Home
last modified time | relevance | path

Searched refs:TTBR_ASID_MASK (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c642 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()
643 paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()
/freebsd/usr.sbin/bhyve/
H A Dgdb.c339 paging->ttbr0_addr = regs[0] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()
340 paging->ttbr1_addr = regs[1] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()
/freebsd/sys/arm64/arm64/
H A Dexec_machdep.c464 asid = READ_SPECIALREG(ttbr0_el1) & TTBR_ASID_MASK; in exec_setregs()
/freebsd/sys/arm64/include/
H A Darmreg.h3034 #define TTBR_ASID_MASK (0xfffful << TTBR_ASID_SHIFT) macro