// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

pub const VIRTQ_DESC_F_NEXT: u16 = 0x1;
pub const VIRTQ_DESC_F_WRITE: u16 = 0x2;