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