Lines Matching +full:boot +full:- +full:pages

1 .. SPDX-License-Identifier: GPL-2.0
24 is split into two. The lower half is protected - any memory that is
27 (e.g. the Normal World cannot replace pages in this region without the
29 to make changes to the pages in this region, and is able to emulate MMIO
43 ----------------------
46 either by the VMM or by a `boot loader` run in the Realm before Linux:
54  * MMIO devices emulated by the Normal World and used very early in boot
62    expect to be able to access unprotected pages at the same IPA address
64    VMM will remove the physical pages from the protected mapping and
65    provide those pages as unprotected pages.
68 ----------