insert_physical_memory_range
status_t insert_physical_memory_range(uint64 start, uint64 size);
status_t status = insert_physical_memory_range(base, end - base);
insert_physical_memory_range(base, size);
insert_physical_memory_range(base, size);
if (insert_physical_memory_range((addr_t)regions[i].base,
if (insert_physical_memory_range((addr_t)regions[i].base,
if (insert_physical_memory_range((addr_t)regions[i].base,
insert_physical_memory_range((addr_t)gMemBase, gTotalMem);
if (insert_physical_memory_range((addr_t)regions[i].base,
if (insert_physical_memory_range((addr_t)regions[i].base,