tx39sib_attach
tx39sib_match, tx39sib_attach, NULL, NULL);
void tx39sib_attach(device_t, device_t, void *);