xen/arm32: mm: Avoid cleaning the cache for secondary CPUs page-tables
authorJulien Grall <julien.grall@arm.com>
Sun, 21 Apr 2019 18:53:12 +0000 (19:53 +0100)
committerJulien Grall <julien.grall@arm.com>
Thu, 13 Jun 2019 12:07:58 +0000 (13:07 +0100)
commit9bd8d268d8b586ad6948feb42f709df39271d7c4
tree0141e47f5c900a223a0dfa0b8ef96f9295db5290
parent8966a3e9ab485f3a9d2adf66b71265163f8fb8eb
xen/arm32: mm: Avoid cleaning the cache for secondary CPUs page-tables

The page-table walker is configured by TCR_EL2 to use the same
shareability and cacheability as the access performed when updating the
page-tables. This means cleaning the cache for secondary CPUs runtime
page-tables is unnecessary.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Andrii Anisov <andrii_anisov@epam.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/mm.c