Constant timer_delete 

pub const timer_delete: u64 = 111;

long sys_timer_delete(timer_t timer_id);