_PAGE_SPECIAL_BIT
#define _PAGE_SPECIAL (1 << xlate_pabit(_PAGE_SPECIAL_BIT))
#if _PAGE_SPECIAL_BIT == _PAGE_DMB_BIT