osfmk/i386/i386_vm_init.c

320 	        maxpg = 1 << (32 - I386_PGSHIFT);
346 		base = (ppnum_t) (mptr->PhysicalStart >> I386_PGSHIFT);
347 		top = (ppnum_t) (((mptr->PhysicalStart) >> I386_PGSHIFT) + mptr->NumberOfPages - 1);
354 		region_bytes = (uint64_t)(mptr->NumberOfPages << I386_PGSHIFT);
557                     (addr64_t) p->base  << I386_PGSHIFT,
558 		    (addr64_t) p->alloc << I386_PGSHIFT,
559 		    (addr64_t) p->end   << I386_PGSHIFT);
560             region_start = (addr64_t) p->base << I386_PGSHIFT;
561             region_end = ((addr64_t) p->end << I386_PGSHIFT) - 1;
570                 efi_end = efi_start + ((vm_offset_t)mptr->NumberOfPages << I386_PGSHIFT) - 1;
606 		ppnum_t discarded_pages  = (ppnum_t)((sane_size - maxmem) >> I386_PGSHIFT);