2 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
3 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License, version 2, as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
19 #include <linux/mman.h>
20 #include <linux/kvm_host.h>
22 #include <trace/events/kvm.h>
23 #include <asm/pgalloc.h>
24 #include <asm/cacheflush.h>
25 #include <asm/kvm_arm.h>
26 #include <asm/kvm_mmu.h>
27 #include <asm/kvm_mmio.h>
28 #include <asm/kvm_asm.h>
29 #include <asm/kvm_emulate.h>
33 extern char __hyp_idmap_text_start[], __hyp_idmap_text_end[];
35 static pgd_t *boot_hyp_pgd;
36 static pgd_t *hyp_pgd;
37 static DEFINE_MUTEX(kvm_hyp_pgd_mutex);
39 static void *init_bounce_page;
40 static unsigned long hyp_idmap_start;
41 static unsigned long hyp_idmap_end;
42 static phys_addr_t hyp_idmap_vector;
44 static void kvm_tlb_flush_vmid_ipa(struct kvm *kvm, phys_addr_t ipa)
47 * This function also gets called when dealing with HYP page
48 * tables. As HYP doesn't have an associated struct kvm (and
49 * the HYP page tables are fairly static), we don't do
53 kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, kvm, ipa);
56 static int mmu_topup_memory_cache(struct kvm_mmu_memory_cache *cache,
61 BUG_ON(max > KVM_NR_MEM_OBJS);
62 if (cache->nobjs >= min)
64 while (cache->nobjs < max) {
65 page = (void *)__get_free_page(PGALLOC_GFP);
68 cache->objects[cache->nobjs++] = page;
73 static void mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc)
76 free_page((unsigned long)mc->objects[--mc->nobjs]);
79 static void *mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc)
83 BUG_ON(!mc || !mc->nobjs);
84 p = mc->objects[--mc->nobjs];
88 static bool page_empty(void *ptr)
90 struct page *ptr_page = virt_to_page(ptr);
91 return page_count(ptr_page) == 1;
94 static void clear_pud_entry(struct kvm *kvm, pud_t *pud, phys_addr_t addr)
96 pmd_t *pmd_table = pmd_offset(pud, 0);
98 kvm_tlb_flush_vmid_ipa(kvm, addr);
99 pmd_free(NULL, pmd_table);
100 put_page(virt_to_page(pud));
103 static void clear_pmd_entry(struct kvm *kvm, pmd_t *pmd, phys_addr_t addr)
105 pte_t *pte_table = pte_offset_kernel(pmd, 0);
107 kvm_tlb_flush_vmid_ipa(kvm, addr);
108 pte_free_kernel(NULL, pte_table);
109 put_page(virt_to_page(pmd));
112 static void clear_pte_entry(struct kvm *kvm, pte_t *pte, phys_addr_t addr)
114 if (pte_present(*pte)) {
115 kvm_set_pte(pte, __pte(0));
116 put_page(virt_to_page(pte));
117 kvm_tlb_flush_vmid_ipa(kvm, addr);
121 static void unmap_range(struct kvm *kvm, pgd_t *pgdp,
122 unsigned long long start, u64 size)
128 unsigned long long addr = start, end = start + size;
132 pgd = pgdp + pgd_index(addr);
133 pud = pud_offset(pgd, addr);
134 if (pud_none(*pud)) {
135 addr = pud_addr_end(addr, end);
139 pmd = pmd_offset(pud, addr);
140 if (pmd_none(*pmd)) {
141 addr = pmd_addr_end(addr, end);
145 pte = pte_offset_kernel(pmd, addr);
146 clear_pte_entry(kvm, pte, addr);
147 next = addr + PAGE_SIZE;
149 /* If we emptied the pte, walk back up the ladder */
150 if (page_empty(pte)) {
151 clear_pmd_entry(kvm, pmd, addr);
152 next = pmd_addr_end(addr, end);
153 if (page_empty(pmd) && !page_empty(pud)) {
154 clear_pud_entry(kvm, pud, addr);
155 next = pud_addr_end(addr, end);
164 * free_boot_hyp_pgd - free HYP boot page tables
166 * Free the HYP boot page tables. The bounce page is also freed.
168 void free_boot_hyp_pgd(void)
170 mutex_lock(&kvm_hyp_pgd_mutex);
173 unmap_range(NULL, boot_hyp_pgd, hyp_idmap_start, PAGE_SIZE);
174 unmap_range(NULL, boot_hyp_pgd, TRAMPOLINE_VA, PAGE_SIZE);
180 unmap_range(NULL, hyp_pgd, TRAMPOLINE_VA, PAGE_SIZE);
182 kfree(init_bounce_page);
183 init_bounce_page = NULL;
185 mutex_unlock(&kvm_hyp_pgd_mutex);
189 * free_hyp_pgds - free Hyp-mode page tables
191 * Assumes hyp_pgd is a page table used strictly in Hyp-mode and
192 * therefore contains either mappings in the kernel memory area (above
193 * PAGE_OFFSET), or device mappings in the vmalloc range (from
194 * VMALLOC_START to VMALLOC_END).
196 * boot_hyp_pgd should only map two pages for the init code.
198 void free_hyp_pgds(void)
204 mutex_lock(&kvm_hyp_pgd_mutex);
207 for (addr = PAGE_OFFSET; virt_addr_valid(addr); addr += PGDIR_SIZE)
208 unmap_range(NULL, hyp_pgd, KERN_TO_HYP(addr), PGDIR_SIZE);
209 for (addr = VMALLOC_START; is_vmalloc_addr((void*)addr); addr += PGDIR_SIZE)
210 unmap_range(NULL, hyp_pgd, KERN_TO_HYP(addr), PGDIR_SIZE);
216 mutex_unlock(&kvm_hyp_pgd_mutex);
219 static void create_hyp_pte_mappings(pmd_t *pmd, unsigned long start,
220 unsigned long end, unsigned long pfn,
228 pte = pte_offset_kernel(pmd, addr);
229 kvm_set_pte(pte, pfn_pte(pfn, prot));
230 get_page(virt_to_page(pte));
231 kvm_flush_dcache_to_poc(pte, sizeof(*pte));
233 } while (addr += PAGE_SIZE, addr != end);
236 static int create_hyp_pmd_mappings(pud_t *pud, unsigned long start,
237 unsigned long end, unsigned long pfn,
242 unsigned long addr, next;
246 pmd = pmd_offset(pud, addr);
248 BUG_ON(pmd_sect(*pmd));
250 if (pmd_none(*pmd)) {
251 pte = pte_alloc_one_kernel(NULL, addr);
253 kvm_err("Cannot allocate Hyp pte\n");
256 pmd_populate_kernel(NULL, pmd, pte);
257 get_page(virt_to_page(pmd));
258 kvm_flush_dcache_to_poc(pmd, sizeof(*pmd));
261 next = pmd_addr_end(addr, end);
263 create_hyp_pte_mappings(pmd, addr, next, pfn, prot);
264 pfn += (next - addr) >> PAGE_SHIFT;
265 } while (addr = next, addr != end);
270 static int __create_hyp_mappings(pgd_t *pgdp,
271 unsigned long start, unsigned long end,
272 unsigned long pfn, pgprot_t prot)
277 unsigned long addr, next;
280 mutex_lock(&kvm_hyp_pgd_mutex);
281 addr = start & PAGE_MASK;
282 end = PAGE_ALIGN(end);
284 pgd = pgdp + pgd_index(addr);
285 pud = pud_offset(pgd, addr);
287 if (pud_none_or_clear_bad(pud)) {
288 pmd = pmd_alloc_one(NULL, addr);
290 kvm_err("Cannot allocate Hyp pmd\n");
294 pud_populate(NULL, pud, pmd);
295 get_page(virt_to_page(pud));
296 kvm_flush_dcache_to_poc(pud, sizeof(*pud));
299 next = pgd_addr_end(addr, end);
300 err = create_hyp_pmd_mappings(pud, addr, next, pfn, prot);
303 pfn += (next - addr) >> PAGE_SHIFT;
304 } while (addr = next, addr != end);
306 mutex_unlock(&kvm_hyp_pgd_mutex);
311 * create_hyp_mappings - duplicate a kernel virtual address range in Hyp mode
312 * @from: The virtual kernel start address of the range
313 * @to: The virtual kernel end address of the range (exclusive)
315 * The same virtual address as the kernel virtual address is also used
316 * in Hyp-mode mapping (modulo HYP_PAGE_OFFSET) to the same underlying
319 int create_hyp_mappings(void *from, void *to)
321 unsigned long phys_addr = virt_to_phys(from);
322 unsigned long start = KERN_TO_HYP((unsigned long)from);
323 unsigned long end = KERN_TO_HYP((unsigned long)to);
325 /* Check for a valid kernel memory mapping */
326 if (!virt_addr_valid(from) || !virt_addr_valid(to - 1))
329 return __create_hyp_mappings(hyp_pgd, start, end,
330 __phys_to_pfn(phys_addr), PAGE_HYP);
334 * create_hyp_io_mappings - duplicate a kernel IO mapping into Hyp mode
335 * @from: The kernel start VA of the range
336 * @to: The kernel end VA of the range (exclusive)
337 * @phys_addr: The physical start address which gets mapped
339 * The resulting HYP VA is the same as the kernel VA, modulo
342 int create_hyp_io_mappings(void *from, void *to, phys_addr_t phys_addr)
344 unsigned long start = KERN_TO_HYP((unsigned long)from);
345 unsigned long end = KERN_TO_HYP((unsigned long)to);
347 /* Check for a valid kernel IO mapping */
348 if (!is_vmalloc_addr(from) || !is_vmalloc_addr(to - 1))
351 return __create_hyp_mappings(hyp_pgd, start, end,
352 __phys_to_pfn(phys_addr), PAGE_HYP_DEVICE);
356 * kvm_alloc_stage2_pgd - allocate level-1 table for stage-2 translation.
357 * @kvm: The KVM struct pointer for the VM.
359 * Allocates the 1st level table only of size defined by S2_PGD_ORDER (can
360 * support either full 40-bit input addresses or limited to 32-bit input
361 * addresses). Clears the allocated pages.
363 * Note we don't need locking here as this is only called when the VM is
364 * created, which can only be done once.
366 int kvm_alloc_stage2_pgd(struct kvm *kvm)
370 if (kvm->arch.pgd != NULL) {
371 kvm_err("kvm_arch already initialized?\n");
375 pgd = (pgd_t *)__get_free_pages(GFP_KERNEL, S2_PGD_ORDER);
379 memset(pgd, 0, PTRS_PER_S2_PGD * sizeof(pgd_t));
387 * unmap_stage2_range -- Clear stage2 page table entries to unmap a range
388 * @kvm: The VM pointer
389 * @start: The intermediate physical base address of the range to unmap
390 * @size: The size of the area to unmap
392 * Clear a range of stage-2 mappings, lowering the various ref-counts. Must
393 * be called while holding mmu_lock (unless for freeing the stage2 pgd before
394 * destroying the VM), otherwise another faulting VCPU may come in and mess
395 * with things behind our backs.
397 static void unmap_stage2_range(struct kvm *kvm, phys_addr_t start, u64 size)
399 unmap_range(kvm, kvm->arch.pgd, start, size);
403 * kvm_free_stage2_pgd - free all stage-2 tables
404 * @kvm: The KVM struct pointer for the VM.
406 * Walks the level-1 page table pointed to by kvm->arch.pgd and frees all
407 * underlying level-2 and level-3 tables before freeing the actual level-1 table
408 * and setting the struct pointer to NULL.
410 * Note we don't need locking here as this is only called when the VM is
411 * destroyed, which can only be done once.
413 void kvm_free_stage2_pgd(struct kvm *kvm)
415 if (kvm->arch.pgd == NULL)
418 unmap_stage2_range(kvm, 0, KVM_PHYS_SIZE);
419 free_pages((unsigned long)kvm->arch.pgd, S2_PGD_ORDER);
420 kvm->arch.pgd = NULL;
424 static int stage2_set_pte(struct kvm *kvm, struct kvm_mmu_memory_cache *cache,
425 phys_addr_t addr, const pte_t *new_pte, bool iomap)
432 /* Create 2nd stage page table mapping - Level 1 */
433 pgd = kvm->arch.pgd + pgd_index(addr);
434 pud = pud_offset(pgd, addr);
435 if (pud_none(*pud)) {
437 return 0; /* ignore calls from kvm_set_spte_hva */
438 pmd = mmu_memory_cache_alloc(cache);
439 pud_populate(NULL, pud, pmd);
440 get_page(virt_to_page(pud));
443 pmd = pmd_offset(pud, addr);
445 /* Create 2nd stage page table mapping - Level 2 */
446 if (pmd_none(*pmd)) {
448 return 0; /* ignore calls from kvm_set_spte_hva */
449 pte = mmu_memory_cache_alloc(cache);
451 pmd_populate_kernel(NULL, pmd, pte);
452 get_page(virt_to_page(pmd));
455 pte = pte_offset_kernel(pmd, addr);
457 if (iomap && pte_present(*pte))
460 /* Create 2nd stage page table mapping - Level 3 */
462 kvm_set_pte(pte, *new_pte);
463 if (pte_present(old_pte))
464 kvm_tlb_flush_vmid_ipa(kvm, addr);
466 get_page(virt_to_page(pte));
472 * kvm_phys_addr_ioremap - map a device range to guest IPA
474 * @kvm: The KVM pointer
475 * @guest_ipa: The IPA at which to insert the mapping
476 * @pa: The physical address of the device
477 * @size: The size of the mapping
479 int kvm_phys_addr_ioremap(struct kvm *kvm, phys_addr_t guest_ipa,
480 phys_addr_t pa, unsigned long size)
482 phys_addr_t addr, end;
485 struct kvm_mmu_memory_cache cache = { 0, };
487 end = (guest_ipa + size + PAGE_SIZE - 1) & PAGE_MASK;
488 pfn = __phys_to_pfn(pa);
490 for (addr = guest_ipa; addr < end; addr += PAGE_SIZE) {
491 pte_t pte = pfn_pte(pfn, PAGE_S2_DEVICE);
493 ret = mmu_topup_memory_cache(&cache, 2, 2);
496 spin_lock(&kvm->mmu_lock);
497 ret = stage2_set_pte(kvm, &cache, addr, &pte, true);
498 spin_unlock(&kvm->mmu_lock);
506 mmu_free_memory_cache(&cache);
510 static int user_mem_abort(struct kvm_vcpu *vcpu, phys_addr_t fault_ipa,
511 gfn_t gfn, struct kvm_memory_slot *memslot,
512 unsigned long fault_status)
517 bool write_fault, writable;
518 unsigned long mmu_seq;
519 struct kvm_mmu_memory_cache *memcache = &vcpu->arch.mmu_page_cache;
521 write_fault = kvm_is_write_fault(kvm_vcpu_get_hsr(vcpu));
522 if (fault_status == FSC_PERM && !write_fault) {
523 kvm_err("Unexpected L2 read permission error\n");
527 /* We need minimum second+third level pages */
528 ret = mmu_topup_memory_cache(memcache, 2, KVM_NR_MEM_OBJS);
532 mmu_seq = vcpu->kvm->mmu_notifier_seq;
534 * Ensure the read of mmu_notifier_seq happens before we call
535 * gfn_to_pfn_prot (which calls get_user_pages), so that we don't risk
536 * the page we just got a reference to gets unmapped before we have a
537 * chance to grab the mmu_lock, which ensure that if the page gets
538 * unmapped afterwards, the call to kvm_unmap_hva will take it away
539 * from us again properly. This smp_rmb() interacts with the smp_wmb()
540 * in kvm_mmu_notifier_invalidate_<page|range_end>.
544 pfn = gfn_to_pfn_prot(vcpu->kvm, gfn, write_fault, &writable);
545 if (is_error_pfn(pfn))
548 new_pte = pfn_pte(pfn, PAGE_S2);
549 coherent_icache_guest_page(vcpu->kvm, gfn);
551 spin_lock(&vcpu->kvm->mmu_lock);
552 if (mmu_notifier_retry(vcpu->kvm, mmu_seq))
555 kvm_set_s2pte_writable(&new_pte);
556 kvm_set_pfn_dirty(pfn);
558 stage2_set_pte(vcpu->kvm, memcache, fault_ipa, &new_pte, false);
561 spin_unlock(&vcpu->kvm->mmu_lock);
562 kvm_release_pfn_clean(pfn);
567 * kvm_handle_guest_abort - handles all 2nd stage aborts
568 * @vcpu: the VCPU pointer
569 * @run: the kvm_run structure
571 * Any abort that gets to the host is almost guaranteed to be caused by a
572 * missing second stage translation table entry, which can mean that either the
573 * guest simply needs more memory and we must allocate an appropriate page or it
574 * can mean that the guest tried to access I/O memory, which is emulated by user
575 * space. The distinction is based on the IPA causing the fault and whether this
576 * memory region has been registered as standard RAM by user space.
578 int kvm_handle_guest_abort(struct kvm_vcpu *vcpu, struct kvm_run *run)
580 unsigned long fault_status;
581 phys_addr_t fault_ipa;
582 struct kvm_memory_slot *memslot;
587 is_iabt = kvm_vcpu_trap_is_iabt(vcpu);
588 fault_ipa = kvm_vcpu_get_fault_ipa(vcpu);
590 trace_kvm_guest_fault(*vcpu_pc(vcpu), kvm_vcpu_get_hsr(vcpu),
591 kvm_vcpu_get_hfar(vcpu), fault_ipa);
593 /* Check the stage-2 fault is trans. fault or write fault */
594 fault_status = kvm_vcpu_trap_get_fault(vcpu);
595 if (fault_status != FSC_FAULT && fault_status != FSC_PERM) {
596 kvm_err("Unsupported fault status: EC=%#x DFCS=%#lx\n",
597 kvm_vcpu_trap_get_class(vcpu), fault_status);
601 idx = srcu_read_lock(&vcpu->kvm->srcu);
603 gfn = fault_ipa >> PAGE_SHIFT;
604 if (!kvm_is_visible_gfn(vcpu->kvm, gfn)) {
606 /* Prefetch Abort on I/O address */
607 kvm_inject_pabt(vcpu, kvm_vcpu_get_hfar(vcpu));
612 if (fault_status != FSC_FAULT) {
613 kvm_err("Unsupported fault status on io memory: %#lx\n",
620 * The IPA is reported as [MAX:12], so we need to
621 * complement it with the bottom 12 bits from the
622 * faulting VA. This is always 12 bits, irrespective
625 fault_ipa |= kvm_vcpu_get_hfar(vcpu) & ((1 << 12) - 1);
626 ret = io_mem_abort(vcpu, run, fault_ipa);
630 memslot = gfn_to_memslot(vcpu->kvm, gfn);
632 ret = user_mem_abort(vcpu, fault_ipa, gfn, memslot, fault_status);
636 srcu_read_unlock(&vcpu->kvm->srcu, idx);
640 static void handle_hva_to_gpa(struct kvm *kvm,
643 void (*handler)(struct kvm *kvm,
644 gpa_t gpa, void *data),
647 struct kvm_memslots *slots;
648 struct kvm_memory_slot *memslot;
650 slots = kvm_memslots(kvm);
652 /* we only care about the pages that the guest sees */
653 kvm_for_each_memslot(memslot, slots) {
654 unsigned long hva_start, hva_end;
657 hva_start = max(start, memslot->userspace_addr);
658 hva_end = min(end, memslot->userspace_addr +
659 (memslot->npages << PAGE_SHIFT));
660 if (hva_start >= hva_end)
664 * {gfn(page) | page intersects with [hva_start, hva_end)} =
665 * {gfn_start, gfn_start+1, ..., gfn_end-1}.
667 gfn = hva_to_gfn_memslot(hva_start, memslot);
668 gfn_end = hva_to_gfn_memslot(hva_end + PAGE_SIZE - 1, memslot);
670 for (; gfn < gfn_end; ++gfn) {
671 gpa_t gpa = gfn << PAGE_SHIFT;
672 handler(kvm, gpa, data);
677 static void kvm_unmap_hva_handler(struct kvm *kvm, gpa_t gpa, void *data)
679 unmap_stage2_range(kvm, gpa, PAGE_SIZE);
682 int kvm_unmap_hva(struct kvm *kvm, unsigned long hva)
684 unsigned long end = hva + PAGE_SIZE;
689 trace_kvm_unmap_hva(hva);
690 handle_hva_to_gpa(kvm, hva, end, &kvm_unmap_hva_handler, NULL);
694 int kvm_unmap_hva_range(struct kvm *kvm,
695 unsigned long start, unsigned long end)
700 trace_kvm_unmap_hva_range(start, end);
701 handle_hva_to_gpa(kvm, start, end, &kvm_unmap_hva_handler, NULL);
705 static void kvm_set_spte_handler(struct kvm *kvm, gpa_t gpa, void *data)
707 pte_t *pte = (pte_t *)data;
709 stage2_set_pte(kvm, NULL, gpa, pte, false);
713 void kvm_set_spte_hva(struct kvm *kvm, unsigned long hva, pte_t pte)
715 unsigned long end = hva + PAGE_SIZE;
721 trace_kvm_set_spte_hva(hva);
722 stage2_pte = pfn_pte(pte_pfn(pte), PAGE_S2);
723 handle_hva_to_gpa(kvm, hva, end, &kvm_set_spte_handler, &stage2_pte);
726 void kvm_mmu_free_memory_caches(struct kvm_vcpu *vcpu)
728 mmu_free_memory_cache(&vcpu->arch.mmu_page_cache);
731 phys_addr_t kvm_mmu_get_httbr(void)
733 return virt_to_phys(hyp_pgd);
736 phys_addr_t kvm_mmu_get_boot_httbr(void)
738 return virt_to_phys(boot_hyp_pgd);
741 phys_addr_t kvm_get_idmap_vector(void)
743 return hyp_idmap_vector;
746 int kvm_mmu_init(void)
750 hyp_idmap_start = virt_to_phys(__hyp_idmap_text_start);
751 hyp_idmap_end = virt_to_phys(__hyp_idmap_text_end);
752 hyp_idmap_vector = virt_to_phys(__kvm_hyp_init);
754 if ((hyp_idmap_start ^ hyp_idmap_end) & PAGE_MASK) {
756 * Our init code is crossing a page boundary. Allocate
757 * a bounce page, copy the code over and use that.
759 size_t len = __hyp_idmap_text_end - __hyp_idmap_text_start;
760 phys_addr_t phys_base;
762 init_bounce_page = kmalloc(PAGE_SIZE, GFP_KERNEL);
763 if (!init_bounce_page) {
764 kvm_err("Couldn't allocate HYP init bounce page\n");
769 memcpy(init_bounce_page, __hyp_idmap_text_start, len);
771 * Warning: the code we just copied to the bounce page
772 * must be flushed to the point of coherency.
773 * Otherwise, the data may be sitting in L2, and HYP
774 * mode won't be able to observe it as it runs with
775 * caches off at that point.
777 kvm_flush_dcache_to_poc(init_bounce_page, len);
779 phys_base = virt_to_phys(init_bounce_page);
780 hyp_idmap_vector += phys_base - hyp_idmap_start;
781 hyp_idmap_start = phys_base;
782 hyp_idmap_end = phys_base + len;
784 kvm_info("Using HYP init bounce page @%lx\n",
785 (unsigned long)phys_base);
788 hyp_pgd = kzalloc(PTRS_PER_PGD * sizeof(pgd_t), GFP_KERNEL);
789 boot_hyp_pgd = kzalloc(PTRS_PER_PGD * sizeof(pgd_t), GFP_KERNEL);
790 if (!hyp_pgd || !boot_hyp_pgd) {
791 kvm_err("Hyp mode PGD not allocated\n");
796 /* Create the idmap in the boot page tables */
797 err = __create_hyp_mappings(boot_hyp_pgd,
798 hyp_idmap_start, hyp_idmap_end,
799 __phys_to_pfn(hyp_idmap_start),
803 kvm_err("Failed to idmap %lx-%lx\n",
804 hyp_idmap_start, hyp_idmap_end);
808 /* Map the very same page at the trampoline VA */
809 err = __create_hyp_mappings(boot_hyp_pgd,
810 TRAMPOLINE_VA, TRAMPOLINE_VA + PAGE_SIZE,
811 __phys_to_pfn(hyp_idmap_start),
814 kvm_err("Failed to map trampoline @%lx into boot HYP pgd\n",
819 /* Map the same page again into the runtime page tables */
820 err = __create_hyp_mappings(hyp_pgd,
821 TRAMPOLINE_VA, TRAMPOLINE_VA + PAGE_SIZE,
822 __phys_to_pfn(hyp_idmap_start),
825 kvm_err("Failed to map trampoline @%lx into runtime HYP pgd\n",