Lines Matching refs:region
343 kprintf("WARNING: truncating memory region count at %d\n", pmap_memory_region_count);
418 DBG("EFI region %d: type %u/%d, base 0x%x, top 0x%x %s\n",
430 * handle each region
438 * Usable memory region
555 kprintf("pmap region %d type %d base 0x%llx alloc 0x%llx top 0x%llx\n",
573 kprintf(" *** Overlapping region with EFI runtime region %d\n", i);
716 pmap_memory_region_t *region;
719 region = &pmap_memory_regions[reserved_index];
720 if (region->alloc < region->end) {
721 *pn = region->alloc++;
732 if (region->alloc == region->end) {
733 kprintf("Exhausted reserved range index: %u, base: 0x%x end: 0x%x, type: 0x%x, attribute: 0x%llx\n", reserved_index, region->base, region->end, region->type, region->attribute);
748 pmap_memory_region_t *region;
756 region = &pmap_memory_regions[n];
758 if (region->alloc != region->end) {
759 *pn = region->alloc++;