Home
last modified time | relevance | path

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

/freebsd/sys/arm64/include/
H A Dvmm.h254 uint64_t ttbr0_addr; member
/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c625 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()
896 pte_addr = paging->ttbr0_addr; in vmmops_gla2gpa()
/freebsd/usr.sbin/bhyve/
H A Dgdb.c339 paging->ttbr0_addr = regs[0] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()