/*
 * this is a hack repository to deal with issues on resman linux port as
 * it matures.
 * Once this file is emptied it can be deleted.
 */

/* XXXTEB these should be somewhere else; probably nvos.h */
typedef unsigned long ULONG;
typedef unsigned char *PUCHAR;
typedef void VOID;
typedef void *PVOID;
typedef void *HANDLE;
/* XXXTEB end */

int XXX_RM_INIT(void);
void XXX_ISR_POLL(void);

