Constant VIRTIO_MMIO_INT_CONFIG 

pub const VIRTIO_MMIO_INT_CONFIG: u32 = 0x02;