__hyp_pgtable_max_pages
res += __hyp_pgtable_max_pages(reg->size >> PAGE_SHIFT);
res += __hyp_pgtable_max_pages(SZ_1G >> PAGE_SHIFT);