xen/arm: Introduce flush_tlb_domain
authorJulien Grall <julien.grall@linaro.org>
Tue, 13 May 2014 15:50:17 +0000 (16:50 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 14 May 2014 13:44:26 +0000 (14:44 +0100)
commitdfd60b0750c2ca79e27145622c412642b0bc8d90
tree4294cf44a49f7ffca8afe6ccadae044671a7fd01
parenta07084525c126c596326dc1442dd218f522f51b4
xen/arm: Introduce flush_tlb_domain

The pattern p2m_load_VTTBR(d) -> flush_tlb -> p2m_load_VTTBR(current->domain)
is used in few places.

Replace this usage by flush_tlb_domain which will take care of this pattern.
This will help to the readability of apply_p2m_changes which begin to be big.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
[ ijc -- s/lisibility/readability/, s/speficied/specified/ ]
xen/arch/arm/p2m.c
xen/include/asm-arm/flushtlb.h