pub const KVME_FLAG_NOCOREDUMP: c_int = 0x000000004;