Symbol: HPAGE_PMD_SHIFT