_PAGE_W_4V
: "0" (val), "i" (_PAGE_W_4U), "i" (_PAGE_W_4V));
"i" (_PAGE_MODIFIED_4V | _PAGE_W_4V));
"i" (_PAGE_WRITE_4V | _PAGE_W_4V));
_PAGE_P_4V | _PAGE_W_4V);
_PAGE_P_4V | _PAGE_W_4V);
_PAGE_P_4V | _PAGE_W_4V);
#define __DIRTY_BITS_4V (_PAGE_MODIFIED_4V | _PAGE_WRITE_4V | _PAGE_W_4V)
page_cache4v_flag | _PAGE_P_4V | _PAGE_W_4V);
_PAGE_W_4V);
_PAGE_EXEC_4V | _PAGE_W_4V);