![]() Instead of using kvm_is_mmio_pfn() to decide whether a host region should be stage 2 mapped with device attributes, add a new static function kvm_is_device_pfn() that disregards RAM pages with the reserved bit set, as those should usually not be mapped as device memory. Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> |
||
---|---|---|
.. | ||
arm.c | ||
coproc.c | ||
coproc.h | ||
coproc_a7.c | ||
coproc_a15.c | ||
emulate.c | ||
guest.c | ||
handle_exit.c | ||
init.S | ||
interrupts.S | ||
interrupts_head.S | ||
Kconfig | ||
Makefile | ||
mmio.c | ||
mmu.c | ||
perf.c | ||
psci.c | ||
reset.c | ||
trace.h |