Constant __NR_request_key 

pub const __NR_request_key: u32 = 249;