Searched refs:MAX_VIRTIO_DEVICE_ID (Results 1 – 1 of 1) sorted by relevance
91 const MAX_VIRTIO_DEVICE_ID: u32 = 63; constant92 const TYPE_WL: u32 = MAX_VIRTIO_DEVICE_ID;93 const TYPE_TPM: u32 = MAX_VIRTIO_DEVICE_ID - 1;