Searched refs:ttbr0_el1 (Results 1 – 8 of 8) sorted by relevance
88 set_arch_unknown(el2ctx->ttbr0_el1); in reset_vm_el01_regs()
74 uint64_t ttbr0_el1; /* Translation Table Base Register 0 */ member
254 hypctx->ttbr0_el1 = READ_SPECIALREG(EL1_REG(TTBR0)); in vmm_hyp_reg_store()315 WRITE_SPECIALREG(EL1_REG(TTBR0), hypctx->ttbr0_el1); in vmm_hyp_reg_restore()
625 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()1247 return (&hypctx->ttbr0_el1); in hypctx_regptr()
288 msr ttbr0_el1, x27922 msr ttbr0_el1, x27
243 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()
987 PRINT_REG(ttbr0_el1); in DB_SHOW_COMMAND()
2591 pmap->pm_l0_paddr = READ_SPECIALREG(ttbr0_el1); in pmap_pinit0()8904 ttbr0 = READ_SPECIALREG(ttbr0_el1); in pmap_set_cnp()8911 WRITE_SPECIALREG(ttbr0_el1, ttbr0); in pmap_set_cnp()