PET_ADDR           48 drivers/watchdog/ebc-c384_wdt.c 	outb(t, PET_ADDR);
PET_ADDR           55 drivers/watchdog/ebc-c384_wdt.c 	outb(0x00, PET_ADDR);