hpc_slot_event_dispatcher
static void hpc_slot_event_dispatcher(hpc_bus_entry_t *busp);
t = thread_create(NULL, 0, hpc_slot_event_dispatcher,