remove_physical_memory_range
status_t remove_physical_memory_range(uint64 start, uint64 size);
status_t status = remove_physical_memory_range(base, end - base);
remove_physical_memory_range(start, size);
remove_physical_memory_range(base, size);
remove_physical_memory_range(base, end - base);