PTE_ENTRY_SIZE
DEFINE(ASM_PTE_ENTRY_SIZE, PTE_ENTRY_SIZE);
BUILD_BUG_ON(PTE_ENTRY_SIZE != sizeof(pte_t));