wdc_amiga_attach
void wdc_amiga_attach(device_t, device_t, void *);
wdc_amiga_probe, wdc_amiga_attach, NULL, NULL);