TTE_NOSYNC_CHECK
(TTE_WRPRM_CHECK(attr) | TTE_NOSYNC_CHECK(attr) | \
TTE_NOSYNC_CHECK(attr) | TTE_PFN_INTHI(pfn))