4 #include <minix/sysutil.h>
6 EXTERN
__attribute__((weak
)) int edfi_ctl_process_request(void *ctl_request
);
8 EXTERN
int do_sef_fi_request(message
*m_ptr
);
10 EXTERN
int sef_controlled_crash
;
12 /*===========================================================================*
14 *===========================================================================*/
15 int do_sef_fi_request(message
*m_ptr
)
17 /* See if we are simply asked to crash. */
18 if (m_ptr
->m_lsys_fi_ctl
.subtype
== RS_FI_CRASH
) {
19 sef_controlled_crash
= TRUE
;
24 /* Forward the request to the EDFI fault injector, if linked in. */
25 if(edfi_ctl_process_request
)
26 return edfi_ctl_process_request(m_ptr
);