static void wdt_ib700_register_types(void) { watchdog_add_model(&model); type_register_static(&wdt_ib700_info); }
static void wdt_ib700_register_devices(void) { watchdog_add_model(&model); isa_qdev_register(&wdt_ib700_info); }
static void wdt_diag288_register_types(void) { watchdog_add_model(&model); type_register_static(&wdt_diag288_info); }
static void i6300esb_register_devices(void) { watchdog_add_model(&model); pci_qdev_register(&i6300esb_info); }
static void i6300esb_register_types(void) { watchdog_add_model(&model); type_register_static(&i6300esb_info); }
static void wdt_aspeed_register_types(void) { watchdog_add_model(&model); type_register_static(&aspeed_wdt_info); }