Constant virtio_magma_ctrl_type_VIRTIO_MAGMA_CMD_SEMAPHORE_RESET 

pub const virtio_magma_ctrl_type_VIRTIO_MAGMA_CMD_SEMAPHORE_RESET: virtio_magma_ctrl_type = 4134;