Constant KVME_FLAG_NOCOREDUMP 

pub const KVME_FLAG_NOCOREDUMP: c_int = 0x00000004;