Searched refs:ttbr1_el1 (Results 1 – 7 of 7) sorted by relevance
89 set_arch_unknown(el2ctx->ttbr1_el1); in reset_vm_el01_regs()
75 uint64_t ttbr1_el1; /* Translation Table Base Register 1 */ member
255 hypctx->ttbr1_el1 = READ_SPECIALREG(EL1_REG(TTBR1)); in vmm_hyp_reg_store()316 WRITE_SPECIALREG(EL1_REG(TTBR1), hypctx->ttbr1_el1); in vmm_hyp_reg_restore()
624 paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()1247 return (&hypctx->ttbr1_el1); in hypctx_regptr()
1153 PRINT_REG(ttbr1_el1); in DB_SHOW_COMMAND()
914 msr ttbr1_el1, x24
8906 ttbr1 = READ_SPECIALREG(ttbr1_el1); in pmap_set_cnp()8911 WRITE_SPECIALREG(ttbr1_el1, ttbr1); in pmap_set_cnp()