[][src]Constant nginx::PR_SET_NAME

pub const PR_SET_NAME: u32 = 15;