Lines Matching defs:region
330 kprintf("WARNING: truncating memory region count at %d\n", pmap_memory_region_count);
356 * That was the only page in that region, so
357 * ignore the whole region.
431 DBG("EFI region %d: type %u/%d, base 0x%x, top 0x%x %s\n",
443 * handle each region
451 * Usable memory region
572 kprintf("pmap region %d type %d base 0x%llx alloc_up 0x%llx alloc_down 0x%llx top 0x%llx\n",
591 kprintf(" *** Overlapping region with EFI runtime region %d\n", i);
738 pmap_memory_region_t *region;
741 region = &pmap_memory_regions[reserved_index];
742 if (region->alloc_up <= region->alloc_down) {
743 *pn = region->alloc_up++;
754 if (region->alloc_up > region->alloc_down) {
755 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);
770 pmap_memory_region_t *region;
778 region = &pmap_memory_regions[n];
780 if (region->alloc_down >= region->alloc_up) {
781 *pn = region->alloc_down--;