argpio_reset_pressed
sysmon_task_queue_sched(0, argpio_reset_pressed, sc);
static void argpio_reset_pressed(void *);