Constant RNDGETPOOL 

pub const RNDGETPOOL: __u32 = 2148028930;