Searched refs:PFN_4GIG (Results 1 – 1 of 1) sorted by relevance
182 #define PFN_4GIG 0x100000 macro190 PFN_4GIG, /* pfn range for 4G and above */2370 max_mfn = MIN(cached_max_mfn, PFN_4GIG); in populate_io_pool()2414 if (!DOMAIN_IS_INITDOMAIN(xen_info) || mfn >= PFN_4GIG) { in page_destroy_io()