task_fn_t
static task_fn_t isp_gdt_task;
static task_fn_t isp_ldt_task;
static task_fn_t kbdmux_kbd_intr;
TASK_INIT(&vbus_ext->worker, 0, (task_fn_t *)hpt_do_tasks, vbus_ext);
TASK_INIT(&vbus_ext->worker, 0, (task_fn_t *)hpt_do_tasks, vbus_ext);
int priority, task_fn_t func, void *context)
static task_fn_t ubt_task;
struct timeout_task *timeout_task, int priority, task_fn_t func,
task_fn_t *ta_func; /* task handler */