blob: 7f7fe4f2050888d55f63dbffd8eb346060d67dc0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/*-------------------------------------*/
/* 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 */
/*-------------*/
|