diff options
| author | Suzuki K Poulose <suzuki.poulose@arm.com> | 2017-05-16 10:34:54 +0100 |
|---|---|---|
| committer | Christoffer Dall <cdall@linaro.org> | 2017-05-16 11:54:00 +0200 |
| commit | 2952a6070e07ebdd5896f1f5b861acad677caded (patch) | |
| tree | 086d1ec9783ef2b11a15588dc07a15b006c33798 /drivers/fpga/ts73xx-fpga.c | |
| parent | 9b619a8f08da9f61f166edbbe30ad05c359ec19e (diff) | |
kvm: arm/arm64: Force reading uncached stage2 PGD
Make sure we don't use a cached value of the KVM stage2 PGD while
resetting the PGD.
Cc: Marc Zyngier <marc.zyngier@arm.com>
Cc: stable@vger.kernel.org
Signed-off-by: Suzuki K Poulose <suzuki.poulose@arm.com>
Reviewed-by: Christoffer Dall <cdall@linaro.org>
Signed-off-by: Christoffer Dall <cdall@linaro.org>
Diffstat (limited to 'drivers/fpga/ts73xx-fpga.c')
0 files changed, 0 insertions, 0 deletions