alarmtimer_dequeue  215 kernel/time/alarmtimer.c 	alarmtimer_dequeue(base, alarm);
alarmtimer_dequeue  423 kernel/time/alarmtimer.c 		alarmtimer_dequeue(base, alarm);