Symbol: ipmi_cmd_wait_cb
sys/dev/ipmi.c
136
void ipmi_cmd_wait_cb(void *);
sys/dev/ipmi.c
972
task_set(&t, ipmi_cmd_wait_cb, c);