pub const CONFIG_PRCTL_PR_SET_TIMERSLACK: u32 = 1;