TS7XXX_IO16_VBASE
feed = TS7XXX_IO16_VBASE + TS7XXX_WDOGFEED;
ctrl = TS7XXX_IO16_VBASE + TS7XXX_WDOGCTRL;
TS7XXX_IO16_VBASE,
isa_tsarm_init(TS7XXX_IO16_VBASE + TS7XXX_ISAIO,
TS7XXX_IO16_VBASE + TS7XXX_ISAMEM);
isa_tsarm_init(TS7XXX_IO16_VBASE + TS7XXX_ISAIO,
TS7XXX_IO16_VBASE + TS7XXX_ISAMEM);