Constant CREATE_WAITABLE_TIMER_HIGH_RESOLUTION 

pub const CREATE_WAITABLE_TIMER_HIGH_RESOLUTION: u32 = 2u32;