tx39power_attach
void tx39power_attach(device_t, device_t, void *);
tx39power_match, tx39power_attach, NULL, NULL);