timerattach_mainbus_4c
timerattach_mainbus_4c(parent, self, aux);
void timerattach_mainbus_4c(device_t, device_t, void *);