PAGE_MODE_4_LEVEL
int amd_iommu_gpt_level = PAGE_MODE_4_LEVEL;
(efr_hats + PAGE_MODE_4_LEVEL - 1) * 9 + 21);