PTE_BITS
#define PTE_BITS ( __HVM_PTE_R | __HVM_PTE_W | __HVM_PTE_X \
#define PTE_BITS (PTE_SHIFT - PTE_MAGNITUDE)