_PAGE_PRESENT_4V
prot = _PAGE_PRESENT_4V | _PAGE_P_4V;
: "0" (val), "i" (_PAGE_PRESENT_4U), "i" (_PAGE_PRESENT_4V));
PAGE_KERNEL = __pgprot (_PAGE_PRESENT_4V | _PAGE_VALID |
pg_iobits = (_PAGE_VALID | _PAGE_PRESENT_4V | __DIRTY_BITS_4V |
page_none = _PAGE_PRESENT_4V | _PAGE_ACCESSED_4V | page_cache4v_flag;
page_shared = (_PAGE_VALID | _PAGE_PRESENT_4V | page_cache4v_flag |
page_copy = (_PAGE_VALID | _PAGE_PRESENT_4V | page_cache4v_flag |
page_readonly = (_PAGE_VALID | _PAGE_PRESENT_4V | page_cache4v_flag |