remove_physical_allocated_range
status_t remove_physical_allocated_range(uint64 start, uint64 size);
status_t status = remove_physical_allocated_range(base, size);
remove_physical_allocated_range(base, size);
remove_physical_allocated_range(base, size);
remove_physical_allocated_range(base, size);