Re: [PATCH v3 5/7] hw/misc/mps2-fpgaio: Use the LED device

[Richard Henderson]

On 6/20/20 4:07 PM, Philippe Mathieu-Daudé wrote:
> +    DeviceState *led[2];

Perhaps better as LEDState?  And perhaps return that from create_led.


r~