PTE_EXECUTABLE_MASK
!!(*(pte) & (PTE_READABLE_MASK(mmu) | PTE_EXECUTABLE_MASK(mmu))))
((*(pte) & (PTE_EXECUTABLE_MASK(mmu) | PTE_NX_MASK(mmu))) == PTE_EXECUTABLE_MASK(mmu))
PTE_WRITABLE_MASK(mmu) | PTE_EXECUTABLE_MASK(mmu) |
TEST_ASSERT(!PTE_EXECUTABLE_MASK(mmu) || !PTE_NX_MASK(mmu),
PTE_WRITABLE_MASK(mmu) | PTE_EXECUTABLE_MASK(mmu) |