#include <stdio.h>
#include <stdlib.h>
#include <sys/io.h>

int main(int ac,char *av[])
{
	int x,i,j;
	iopl(3);

	if (ac>1) {
		int p = strtol(av[1],NULL,0);
		if (p<=0) {
			outl(0x2,0x804);
		} else {
			if (p>500) p = 500;
			outl(p,0x808);
			outl(0x81,0x804);
		}
	}
	printf("by devik@cdi.cz 2006\n"
               "Use: wdt 0 to reset 'fired' flag (0x2)\n"
               "     wdt n to set new timeout\n\n"
               "WDT counter=%d state=0x%X\n",
			inl(0x808),inl(0x804));
	return 0;
}