Constant __itimer_which_ITIMER_PROF 

pub const __itimer_which_ITIMER_PROF: __itimer_which = 2;