On smmu(4) instances without coherent page table walk we need to make sure
authorpatrick <patrick@openbsd.org>
Sun, 11 Sep 2022 10:28:56 +0000 (10:28 +0000)
committerpatrick <patrick@openbsd.org>
Sun, 11 Sep 2022 10:28:56 +0000 (10:28 +0000)
commit6258f8b260d7ba588c4c691207dc68d4409a9547
treec6ce20044f0ef373f15a5ecf76351ee7edf54c83
parenta68d7a250eca5e22a3b02a78b12bfb70a49afe7f
On smmu(4) instances without coherent page table walk we need to make sure
changes to the page tables are made visible, as needed on the Lenovo x13s.
sys/arch/arm64/dev/smmu.c