tx3912video_attach
void tx3912video_attach(device_t, device_t, void *);
tx3912video_match, tx3912video_attach, NULL, NULL);