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