xref: /openbmc/linux/arch/arm64/kvm/hyp/nvhe/mm.c (revision 5bdf3437603d4af87f9c7f424b0c8aeed2420745)
1f320bc74SQuentin Perret // SPDX-License-Identifier: GPL-2.0-only
2f320bc74SQuentin Perret /*
3f320bc74SQuentin Perret  * Copyright (C) 2020 Google LLC
4f320bc74SQuentin Perret  * Author: Quentin Perret <qperret@google.com>
5f320bc74SQuentin Perret  */
6f320bc74SQuentin Perret 
7f320bc74SQuentin Perret #include <linux/kvm_host.h>
8f320bc74SQuentin Perret #include <asm/kvm_hyp.h>
9f320bc74SQuentin Perret #include <asm/kvm_mmu.h>
10f320bc74SQuentin Perret #include <asm/kvm_pgtable.h>
119429f4b0SWill Deacon #include <asm/kvm_pkvm.h>
12f320bc74SQuentin Perret #include <asm/spectre.h>
13f320bc74SQuentin Perret 
14f320bc74SQuentin Perret #include <nvhe/early_alloc.h>
15f320bc74SQuentin Perret #include <nvhe/gfp.h>
16f320bc74SQuentin Perret #include <nvhe/memory.h>
17f320bc74SQuentin Perret #include <nvhe/mm.h>
18f320bc74SQuentin Perret #include <nvhe/spinlock.h>
19f320bc74SQuentin Perret 
20f320bc74SQuentin Perret struct kvm_pgtable pkvm_pgtable;
21f320bc74SQuentin Perret hyp_spinlock_t pkvm_pgd_lock;
22f320bc74SQuentin Perret 
23f320bc74SQuentin Perret struct memblock_region hyp_memory[HYP_MEMBLOCK_REGIONS];
24f320bc74SQuentin Perret unsigned int hyp_memblock_nr;
25f320bc74SQuentin Perret 
26473a3efbSQuentin Perret static u64 __io_map_base;
27473a3efbSQuentin Perret 
2864a80fb7SQuentin Perret static int __pkvm_create_mappings(unsigned long start, unsigned long size,
29f320bc74SQuentin Perret 				  unsigned long phys, enum kvm_pgtable_prot prot)
30f320bc74SQuentin Perret {
31f320bc74SQuentin Perret 	int err;
32f320bc74SQuentin Perret 
33f320bc74SQuentin Perret 	hyp_spin_lock(&pkvm_pgd_lock);
34f320bc74SQuentin Perret 	err = kvm_pgtable_hyp_map(&pkvm_pgtable, start, size, phys, prot);
35f320bc74SQuentin Perret 	hyp_spin_unlock(&pkvm_pgd_lock);
36f320bc74SQuentin Perret 
37f320bc74SQuentin Perret 	return err;
38f320bc74SQuentin Perret }
39f320bc74SQuentin Perret 
40f320bc74SQuentin Perret unsigned long __pkvm_create_private_mapping(phys_addr_t phys, size_t size,
41f320bc74SQuentin Perret 					    enum kvm_pgtable_prot prot)
42f320bc74SQuentin Perret {
43f320bc74SQuentin Perret 	unsigned long addr;
44f320bc74SQuentin Perret 	int err;
45f320bc74SQuentin Perret 
46f320bc74SQuentin Perret 	hyp_spin_lock(&pkvm_pgd_lock);
47f320bc74SQuentin Perret 
48f320bc74SQuentin Perret 	size = PAGE_ALIGN(size + offset_in_page(phys));
49f320bc74SQuentin Perret 	addr = __io_map_base;
50f320bc74SQuentin Perret 	__io_map_base += size;
51f320bc74SQuentin Perret 
52f320bc74SQuentin Perret 	/* Are we overflowing on the vmemmap ? */
53f320bc74SQuentin Perret 	if (__io_map_base > __hyp_vmemmap) {
54f320bc74SQuentin Perret 		__io_map_base -= size;
55f320bc74SQuentin Perret 		addr = (unsigned long)ERR_PTR(-ENOMEM);
56f320bc74SQuentin Perret 		goto out;
57f320bc74SQuentin Perret 	}
58f320bc74SQuentin Perret 
59f320bc74SQuentin Perret 	err = kvm_pgtable_hyp_map(&pkvm_pgtable, addr, size, phys, prot);
60f320bc74SQuentin Perret 	if (err) {
61f320bc74SQuentin Perret 		addr = (unsigned long)ERR_PTR(err);
62f320bc74SQuentin Perret 		goto out;
63f320bc74SQuentin Perret 	}
64f320bc74SQuentin Perret 
65f320bc74SQuentin Perret 	addr = addr + offset_in_page(phys);
66f320bc74SQuentin Perret out:
67f320bc74SQuentin Perret 	hyp_spin_unlock(&pkvm_pgd_lock);
68f320bc74SQuentin Perret 
69f320bc74SQuentin Perret 	return addr;
70f320bc74SQuentin Perret }
71f320bc74SQuentin Perret 
72f9370010SQuentin Perret int pkvm_create_mappings_locked(void *from, void *to, enum kvm_pgtable_prot prot)
73f320bc74SQuentin Perret {
74f320bc74SQuentin Perret 	unsigned long start = (unsigned long)from;
75f320bc74SQuentin Perret 	unsigned long end = (unsigned long)to;
76f320bc74SQuentin Perret 	unsigned long virt_addr;
77f320bc74SQuentin Perret 	phys_addr_t phys;
78f320bc74SQuentin Perret 
79f9370010SQuentin Perret 	hyp_assert_lock_held(&pkvm_pgd_lock);
80f9370010SQuentin Perret 
81f320bc74SQuentin Perret 	start = start & PAGE_MASK;
82f320bc74SQuentin Perret 	end = PAGE_ALIGN(end);
83f320bc74SQuentin Perret 
84f320bc74SQuentin Perret 	for (virt_addr = start; virt_addr < end; virt_addr += PAGE_SIZE) {
85f320bc74SQuentin Perret 		int err;
86f320bc74SQuentin Perret 
87f320bc74SQuentin Perret 		phys = hyp_virt_to_phys((void *)virt_addr);
88f9370010SQuentin Perret 		err = kvm_pgtable_hyp_map(&pkvm_pgtable, virt_addr, PAGE_SIZE,
89f9370010SQuentin Perret 					  phys, prot);
90f320bc74SQuentin Perret 		if (err)
91f320bc74SQuentin Perret 			return err;
92f320bc74SQuentin Perret 	}
93f320bc74SQuentin Perret 
94f320bc74SQuentin Perret 	return 0;
95f320bc74SQuentin Perret }
96f320bc74SQuentin Perret 
97f9370010SQuentin Perret int pkvm_create_mappings(void *from, void *to, enum kvm_pgtable_prot prot)
98f9370010SQuentin Perret {
99f9370010SQuentin Perret 	int ret;
100f9370010SQuentin Perret 
101f9370010SQuentin Perret 	hyp_spin_lock(&pkvm_pgd_lock);
102f9370010SQuentin Perret 	ret = pkvm_create_mappings_locked(from, to, prot);
103f9370010SQuentin Perret 	hyp_spin_unlock(&pkvm_pgd_lock);
104f9370010SQuentin Perret 
105f9370010SQuentin Perret 	return ret;
106f9370010SQuentin Perret }
107f9370010SQuentin Perret 
108f320bc74SQuentin Perret int hyp_back_vmemmap(phys_addr_t phys, unsigned long size, phys_addr_t back)
109f320bc74SQuentin Perret {
110f320bc74SQuentin Perret 	unsigned long start, end;
111f320bc74SQuentin Perret 
112f320bc74SQuentin Perret 	hyp_vmemmap_range(phys, size, &start, &end);
113f320bc74SQuentin Perret 
114f320bc74SQuentin Perret 	return __pkvm_create_mappings(start, end - start, back, PAGE_HYP);
115f320bc74SQuentin Perret }
116f320bc74SQuentin Perret 
117f320bc74SQuentin Perret static void *__hyp_bp_vect_base;
118f320bc74SQuentin Perret int pkvm_cpu_set_vector(enum arm64_hyp_spectre_vector slot)
119f320bc74SQuentin Perret {
120f320bc74SQuentin Perret 	void *vector;
121f320bc74SQuentin Perret 
122f320bc74SQuentin Perret 	switch (slot) {
123f320bc74SQuentin Perret 	case HYP_VECTOR_DIRECT: {
124f320bc74SQuentin Perret 		vector = __kvm_hyp_vector;
125f320bc74SQuentin Perret 		break;
126f320bc74SQuentin Perret 	}
127f320bc74SQuentin Perret 	case HYP_VECTOR_SPECTRE_DIRECT: {
128f320bc74SQuentin Perret 		vector = __bp_harden_hyp_vecs;
129f320bc74SQuentin Perret 		break;
130f320bc74SQuentin Perret 	}
131f320bc74SQuentin Perret 	case HYP_VECTOR_INDIRECT:
132f320bc74SQuentin Perret 	case HYP_VECTOR_SPECTRE_INDIRECT: {
133f320bc74SQuentin Perret 		vector = (void *)__hyp_bp_vect_base;
134f320bc74SQuentin Perret 		break;
135f320bc74SQuentin Perret 	}
136f320bc74SQuentin Perret 	default:
137f320bc74SQuentin Perret 		return -EINVAL;
138f320bc74SQuentin Perret 	}
139f320bc74SQuentin Perret 
140f320bc74SQuentin Perret 	vector = __kvm_vector_slot2addr(vector, slot);
141f320bc74SQuentin Perret 	*this_cpu_ptr(&kvm_hyp_vector) = (unsigned long)vector;
142f320bc74SQuentin Perret 
143f320bc74SQuentin Perret 	return 0;
144f320bc74SQuentin Perret }
145f320bc74SQuentin Perret 
146f320bc74SQuentin Perret int hyp_map_vectors(void)
147f320bc74SQuentin Perret {
148f320bc74SQuentin Perret 	phys_addr_t phys;
149f320bc74SQuentin Perret 	void *bp_base;
150f320bc74SQuentin Perret 
151*5bdf3437SJames Morse 	if (!kvm_system_needs_idmapped_vectors()) {
152*5bdf3437SJames Morse 		__hyp_bp_vect_base = __bp_harden_hyp_vecs;
153f320bc74SQuentin Perret 		return 0;
154*5bdf3437SJames Morse 	}
155f320bc74SQuentin Perret 
156f320bc74SQuentin Perret 	phys = __hyp_pa(__bp_harden_hyp_vecs);
157f320bc74SQuentin Perret 	bp_base = (void *)__pkvm_create_private_mapping(phys,
158f320bc74SQuentin Perret 							__BP_HARDEN_HYP_VECS_SZ,
159f320bc74SQuentin Perret 							PAGE_HYP_EXEC);
160f320bc74SQuentin Perret 	if (IS_ERR_OR_NULL(bp_base))
161f320bc74SQuentin Perret 		return PTR_ERR(bp_base);
162f320bc74SQuentin Perret 
163f320bc74SQuentin Perret 	__hyp_bp_vect_base = bp_base;
164f320bc74SQuentin Perret 
165f320bc74SQuentin Perret 	return 0;
166f320bc74SQuentin Perret }
167f320bc74SQuentin Perret 
168f320bc74SQuentin Perret int hyp_create_idmap(u32 hyp_va_bits)
169f320bc74SQuentin Perret {
170f320bc74SQuentin Perret 	unsigned long start, end;
171f320bc74SQuentin Perret 
172f320bc74SQuentin Perret 	start = hyp_virt_to_phys((void *)__hyp_idmap_text_start);
173f320bc74SQuentin Perret 	start = ALIGN_DOWN(start, PAGE_SIZE);
174f320bc74SQuentin Perret 
175f320bc74SQuentin Perret 	end = hyp_virt_to_phys((void *)__hyp_idmap_text_end);
176f320bc74SQuentin Perret 	end = ALIGN(end, PAGE_SIZE);
177f320bc74SQuentin Perret 
178f320bc74SQuentin Perret 	/*
179f320bc74SQuentin Perret 	 * One half of the VA space is reserved to linearly map portions of
180f320bc74SQuentin Perret 	 * memory -- see va_layout.c for more details. The other half of the VA
181f320bc74SQuentin Perret 	 * space contains the trampoline page, and needs some care. Split that
182f320bc74SQuentin Perret 	 * second half in two and find the quarter of VA space not conflicting
183f320bc74SQuentin Perret 	 * with the idmap to place the IOs and the vmemmap. IOs use the lower
184f320bc74SQuentin Perret 	 * half of the quarter and the vmemmap the upper half.
185f320bc74SQuentin Perret 	 */
186f320bc74SQuentin Perret 	__io_map_base = start & BIT(hyp_va_bits - 2);
187f320bc74SQuentin Perret 	__io_map_base ^= BIT(hyp_va_bits - 2);
188f320bc74SQuentin Perret 	__hyp_vmemmap = __io_map_base | BIT(hyp_va_bits - 3);
189f320bc74SQuentin Perret 
190f320bc74SQuentin Perret 	return __pkvm_create_mappings(start, end - start, start, PAGE_HYP_EXEC);
191f320bc74SQuentin Perret }
192