Re: [PATCH 08/41] hw/intc/arm_gicv3_its: Implement VMAPI and VMAPTI

[Richard Henderson]

On 4/8/22 07:15, Peter Maydell wrote:

+                      "%s: Doorbell 0x%x not 1023 and not a valid LPI\n",

A little confusing for hex not decimal.

Otherwise,
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>


r~