PTE_WRITABLE 56 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_WRITABLE(pte) ((pte)->w != 0) PTE_WRITABLE 139 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p))