Searched refs:ttbr0_el1 (Results 1 – 1 of 1) sorted by relevance
300 u64 sctlr_el1, tcr_el1, ttbr0_el1; in aarch64_vcpu_setup() local347 ttbr0_el1 = vm->mmu.pgd & GENMASK(47, vm->page_shift); in aarch64_vcpu_setup()355 ttbr0_el1 |= FIELD_GET(GENMASK(51, 48), vm->mmu.pgd) << 2; in aarch64_vcpu_setup()389 vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_TTBR0_EL1), ttbr0_el1); in aarch64_vcpu_setup()