_PAGE_EXEC_4V
: "i" (_PAGE_EXEC_4U), "i" (_PAGE_EXEC_4V));
_PAGE_EXEC_4V);
__ACCESS_BITS_4V | _PAGE_WRITE_4V | _PAGE_EXEC_4V);
__ACCESS_BITS_4V | _PAGE_EXEC_4V);
__ACCESS_BITS_4V | _PAGE_EXEC_4V);
page_exec_bit = _PAGE_EXEC_4V;
_PAGE_EXEC_4V | _PAGE_W_4V);
_PAGE_EXEC_4V : _PAGE_EXEC_4U);