Symbol: tctrl_power_button_pressed
sys/arch/sparc/dev/tctrl.c
1377
sysmon_task_queue_sched(0, tctrl_power_button_pressed, sc);
sys/arch/sparc/dev/tctrl.c
200
static void tctrl_power_button_pressed(void *);