Symbol: alarmtimer_dequeue
kernel/time/alarmtimer.c
192
alarmtimer_dequeue(base, alarm);
kernel/time/alarmtimer.c
394
alarmtimer_dequeue(base, alarm);