_PAGE_SOFTW1
_PAGE_SOFTW1 | _PAGE_SOFTW2 | _PAGE_SOFTW3)
const pteval_t software_flags = _PAGE_SOFTW1 | _PAGE_SOFTW2 |
return pte_flags(pte) & _PAGE_SOFTW1;