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