#ifndef _KUT_H_9217a921_
#define _KUT_H_9217a921_

#include <sys/types.h>

extern int kernel_user_traps;
extern label_t kernel_user_catch;
extern struct proc *kernel_user_proc;
extern int (*kernel_user_fxn)();

#endif
