i87307PrinterConfig
extern int i87307PrinterConfig(bus_space_tag_t, u_int); /* XXX */
i87307PrinterConfig(&isa_io_bs_tag, descp[0].irq);
int i87307PrinterConfig(bus_space_tag_t, u_int);