Verification cannot rely on simple bit checking because on some
platforms PAGE_RW is 0, checking that a page is not W means
checking that PAGE_RO is set instead of checking that PAGE_RW
is not set.
Use pte helpers instead of checking bits.
Fixes:
|
||
|---|---|---|
| .. | ||
| 8xx.c | ||
| Makefile | ||
| bats.c | ||
| book3s64.c | ||
| hashpagetable.c | ||
| ptdump.c | ||
| ptdump.h | ||
| segment_regs.c | ||
| shared.c | ||