Home
last modified time | relevance | path

Searched refs:tcr2_el1 (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Darm64.h73 uint64_t tcr2_el1; /* Translation Control Register 2 */ member
H A Dvmm_arm64.c628 paging->tcr2_el1 = hypctx->tcr2_el1; in arm64_gen_inst_emul_data()
1253 return (&hypctx->tcr2_el1); in hypctx_regptr()
H A Dvmm_hyp.c253 hypctx->tcr2_el1 = 0; in vmm_hyp_reg_store()
/freebsd/sys/arm64/include/
H A Dvmm.h257 uint64_t tcr2_el1; member
/freebsd/usr.sbin/bhyve/
H A Dgdb.c342 paging->tcr2_el1 = regs[3]; in guest_paging_info()