Symbol: PFN_4GIG
usr/src/uts/i86pc/vm/vm_machdep.c
193
PFN_4GIG, /* pfn range for 4G and above */
usr/src/uts/i86pc/vm/vm_machdep.c
2460
max_mfn = MIN(cached_max_mfn, PFN_4GIG);
usr/src/uts/i86pc/vm/vm_machdep.c
2504
if (!DOMAIN_IS_INITDOMAIN(xen_info) || mfn >= PFN_4GIG) {