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