PTE_READABLE_MASK
!!(*(pte) & (PTE_READABLE_MASK(mmu) | PTE_EXECUTABLE_MASK(mmu))))
*pte = PTE_PRESENT_MASK(mmu) | PTE_READABLE_MASK(mmu) |
*pte = PTE_PRESENT_MASK(mmu) | PTE_READABLE_MASK(mmu) |
PTE_READABLE_MASK(&vm->stage2_mmu) |