PAGE_IS_RDONLY
PAGE_IS_RDONLY(uint32_t pte, vaddr_t va);
static __inline bool PAGE_IS_RDONLY(uint32_t pte, vaddr_t va) __pure;