On 11/13/19 10:30 PM, Peter Maydell wrote: > Coverity may also be looking at the case where > TARGET_AARCH64 is not defined. The fallback definition > of arm_cpu_vq_map_next_smaller() for that situation > always returns 0.
Yeah, that makes more sense. I think we can make the fallback g_assert_not_reached(). Testing a patch for all this. r~