_PAGE_SZHUGE
#ifndef _PAGE_SZHUGE
PTE_BIT_FUNC(high, mkhuge, |= _PAGE_SZHUGE);
PTE_BIT_FUNC(low, mkhuge, |= _PAGE_SZHUGE);