[][src]Constant nginx::PR_SET_FPEXC

pub const PR_SET_FPEXC: u32 = 12;