SBC7240_ENABLE_PORT
release_region(SBC7240_ENABLE_PORT, 1);
if (!request_region(SBC7240_ENABLE_PORT, 1, "SBC7240 WDT")) {
SBC7240_ENABLE_PORT);
#define SBC7240_SET_TIMEOUT_PORT SBC7240_ENABLE_PORT
release_region(SBC7240_ENABLE_PORT, 1);
inb_p(SBC7240_ENABLE_PORT);
inb_p(SBC7240_ENABLE_PORT);