Constant __NR_timer_getoverrun 

pub const __NR_timer_getoverrun: u32 = 225;