/* [map->phys_addr, map->phys_addr + map->length) and [phys_addr, phys_addr + length) have intersection?  */
static bool mapping_have_same_region(MemoryMapping *map, hwaddr phys_addr, ram_addr_t length)
/* [map->phys_addr, map->phys_addr + map->length) and [phys_addr, phys_addr + length) have intersection?  */
static bool mapping_have_same_region(MemoryMapping *map, hwaddr phys_addr, ram_addr_t length)
{
    return !(phys_addr + length < map->phys_addr ||
             phys_addr >= map->phys_addr + map->length);
}