Lines Matching +full:el3 +full:-
1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2020 - Google LLC
14 /* Maximum number of VMs that can co-exist under pKVM. */
25 * This functions as an allow-list of protected VM capabilities.
55 unsigned long nr_pages = reg->size >> PAGE_SHIFT; in hyp_vmemmap_memblock_size()
58 start = (reg->base >> PAGE_SHIFT) * vmemmap_entry_size; in hyp_vmemmap_memblock_size()
63 return end - start; in hyp_vmemmap_memblock_size()
101 /* Cover all of memory with page-granularity */ in __hyp_pgtable_total_pages()
104 res += __hyp_pgtable_max_pages(reg->size >> PAGE_SHIFT); in __hyp_pgtable_total_pages()
127 * Include an extra 16 pages to safely upper-bound the worst case of in host_s2_pgtable_pages()
152 * descriptor returned from EL3 in response to a RETRIEVE_REQ call. in hyp_ffa_proxy_pages()