firmware_map_remove
int firmware_map_remove(u64 start, u64 end, const char *type);
firmware_map_remove(start, start + size, "System RAM");