pub const VMADDR_CID_RESERVED: c_uint = 1;