Home
last modified time | relevance | path

Searched refs:ttbr1_addr (Results 1 – 3 of 3) sorted by relevance

/freebsd-head/sys/arm64/include/
HDvmm.h255 uint64_t ttbr1_addr; member
/freebsd-head/sys/arm64/vmm/
HDvmm_arm64.c626 paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()
867 pte_addr = paging->ttbr1_addr; in vmmops_gla2gpa()
/freebsd-head/usr.sbin/bhyve/
HDgdb.c340 paging->ttbr1_addr = regs[1] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()