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);