Constant VIRTGRALLOC_DEVICE_NAME

pub const VIRTGRALLOC_DEVICE_NAME: &[u8; 18] = b"/dev/virtgralloc0\0";