pub const VMADDR_CID_ANY: u32 = 0xFFFFFFFF; // 4_294_967_295u32