tx39ir_attach
void tx39ir_attach(device_t, device_t, void *);
tx39ir_match, tx39ir_attach, NULL, NULL);