blob: 9c667088bc84db7255438b32508af76209109b43 (
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 */
/*-------------*/
|