Constant VIRTGRALLOC_DEVICE_NAME 

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