#include <stdlib.h>
#include <stdio.h>
#include <conio.h>

#define RIP_RESET         0x300   /* write here to reset the RIP array */
#define INTFC_RESET       0x31C   /* write here to reset the RIP */

void main( int argc, char **argv )
	{
	outp( RIP_RESET, 0x00 );        /* reset the RIP array */
	outp( INTFC_RESET, 0x00 );      /* reset the RIP interface */
	}