Request vote for patch: Reserve device ID 32 for SCMI device

Fixes: https://github.com/oasis-tcs/virtio-spec/issues/74
Reviewed-by: Stefan Hajnoczi <>

Request a second vote about the patch `Reserve device ID 32 for SCMI
device'.

The first vote referred to the wrong patch. The Github issue has now
been updated to make clearer which patch reserves the device ID, and
which patch adds the device.

On 09.03.20 12:27, Stefan Hajnoczi wrote:
> On Fri, Mar 06, 2020 at 06:00:32PM +0100, Peter Hilber wrote:
>> Signed-off-by: Peter Hilber <>
>> ---
>>  content.tex | 2 ++
>>  1 file changed, 2 insertions(+)
> 
> Reviewed-by: Stefan Hajnoczi <>
>