tx39clock_attach
void tx39clock_attach(device_t, device_t, void *);
tx39clock_match, tx39clock_attach, NULL, NULL);