Searched defs:ipa64k (Results 1 – 2 of 2) sorted by relevance
23 uint32_t ipa4k, ipa16k, ipa64k; in guest_modes_append_default() local
583 uint32_t *ipa16k, uint32_t *ipa64k) in aarch64_get_supported_page_sizes()