pub const VIRTIO_ID_SCMI: u32 = 32;