tseng_init
tseng_init(pc, tag, id, regs, fb);
void tseng_init(pci_chipset_tag_t, pcitag_t, int, volatile uint8_t *,