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