Searched refs:pmap_last_reserved_range_index (Results 1 – 1 of 1) sorted by relevance
145 uint32_t pmap_last_reserved_range_index = 0; variable623 pmap_reserved_range_indices[pmap_last_reserved_range_index++] = pmap_memory_region_count; in i386_vm_init()661 pmap_reserved_range_indices[pmap_last_reserved_range_index++] = pmap_memory_region_count; in i386_vm_init()673 pmap_reserved_range_indices[pmap_last_reserved_range_index++] = pmap_memory_region_count; in i386_vm_init()866 for (n = 0; n < pmap_last_reserved_range_index; n++) { in pmap_next_page_reserved()