Lines Matching +full:half +full:-
1 // SPDX-License-Identifier: GPL-2.0-only
41 * pkvm_alloc_private_va_range - Allocates a private VA range.
65 ret = -ENOMEM; in pkvm_alloc_private_va_range()
138 return __pkvm_create_mappings(start, end - start, back, PAGE_HYP); in hyp_back_vmemmap()
161 return -EINVAL; in pkvm_cpu_set_vector()
203 * One half of the VA space is reserved to linearly map portions of in hyp_create_idmap()
204 * memory -- see va_layout.c for more details. The other half of the VA in hyp_create_idmap()
206 * second half in two and find the quarter of VA space not conflicting in hyp_create_idmap()
208 * half of the quarter and the vmemmap the upper half. in hyp_create_idmap()
210 __io_map_base = start & BIT(hyp_va_bits - 2); in hyp_create_idmap()
211 __io_map_base ^= BIT(hyp_va_bits - 2); in hyp_create_idmap()
212 __hyp_vmemmap = __io_map_base | BIT(hyp_va_bits - 3); in hyp_create_idmap()
214 return __pkvm_create_mappings(start, end - start, start, PAGE_HYP_EXEC); in hyp_create_idmap()