blob: 7f7fe4f2050888d55f63dbffd8eb346060d67dc0 (
plain) (
tree)
|
|
/*-------------------------------------*/
/* faultret.h */
/* Last change : 3.11.94 */
/*-------------------------------------*/
/*
* $Id$
*/
#ifndef _FAULTRET_H_
#define _FAULTRET_H_
/* Return to the point where fault happened.
* Fault state keeps all registers.
*/
extern void faultRet(unsigned int * faultState);
#endif
/*-------------*/
/* End of file */
/*-------------*/
|