aarch64_get_supported_page_sizes
void aarch64_get_supported_page_sizes(u32 ipa, u32 *ipa4k,
aarch64_get_supported_page_sizes(limit, &ipa4k, &ipa16k, &ipa64k);