_PAGE_CP_4V
_PAGE_CP_4V | _PAGE_CV_4V | _PAGE_E_4V |
_PAGE_CP_4V | _PAGE_E_4V |
"i" (_PAGE_CP_4V | _PAGE_CV_4V), "i" (_PAGE_E_4V),
"i" (_PAGE_CP_4V));
kern_linear_pte_xor[1] |= (_PAGE_CP_4V | pagecv_flag |
kern_linear_pte_xor[2] |= (_PAGE_CP_4V | pagecv_flag |
kern_linear_pte_xor[3] |= (_PAGE_CP_4V | pagecv_flag |
#define _PAGE_CACHE_4V (_PAGE_CP_4V | _PAGE_CV_4V)
page_cache4v_flag = _PAGE_CP_4V;