Constant KVME_PROT_READ 

pub const KVME_PROT_READ: c_int = 0x00000001;