GEN8_PML4E_SHIFT
({ u64 temp = ALIGN(start+1, 1ULL << GEN8_PML4E_SHIFT); \
return (address >> GEN8_PML4E_SHIFT) & GEN8_PML4E_MASK;