badfaultfunc_t     40 kern/arch/mips/include/thread.h typedef void (*badfaultfunc_t)(void);
badfaultfunc_t     43 kern/arch/mips/include/thread.h 	badfaultfunc_t tm_badfaultfunc;	/* fault hook used by copyin/out */