isa_tsarm_init
void isa_tsarm_init(u_int, u_int);
extern void isa_tsarm_init(u_int, u_int);
isa_tsarm_init(TS7XXX_IO16_VBASE + TS7XXX_ISAIO,