_PAGE_PADDR_4U
: "i" (_PAGE_PADDR_4U | _PAGE_MODIFIED_4U | _PAGE_ACCESSED_4U |
unsigned long paddr, mask = _PAGE_PADDR_4U;