Constant KVME_PROT_EXEC 

pub const KVME_PROT_EXEC: c_int = 0x00000004;