_PAGE_P_4V
prot = _PAGE_PRESENT_4V | _PAGE_P_4V;
_PAGE_P_4V | _PAGE_W_4V);
_PAGE_P_4V | _PAGE_W_4V);
_PAGE_P_4V | _PAGE_W_4V);
page_cache4v_flag | _PAGE_P_4V | _PAGE_W_4V);
page_cache4v_flag | _PAGE_P_4V |
kern_linear_pte_xor[0] |= (page_cache4v_flag | _PAGE_P_4V |
page_cache4v_flag | _PAGE_P_4V |