ahci_watchdog_handler
(void (*)(void *))ahci_watchdog_handler,
static void ahci_watchdog_handler(ahci_ctl_t *);
(void (*)(void *))ahci_watchdog_handler,
timeout((void (*)(void *))ahci_watchdog_handler,