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()300 WRITE_SPECIALREG(EL1_REG(TTBR0), hypctx->ttbr0_el1); in vmm_hyp_reg_restore()
619 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()1241 return (&hypctx->ttbr0_el1); in hypctx_regptr()
283 msr ttbr0_el1, x27900 msr ttbr0_el1, x27
238 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()
1156 PRINT_REG(ttbr0_el1); in DB_SHOW_COMMAND()
2520 pmap->pm_l0_paddr = READ_SPECIALREG(ttbr0_el1); in pmap_pinit0()8833 ttbr0 = READ_SPECIALREG(ttbr0_el1); in pmap_set_cnp()8840 WRITE_SPECIALREG(ttbr0_el1, ttbr0); in pmap_set_cnp()