minix/minix/lib/libsys/sef_fi.c
Cristiano Giuffrida 3837bb5c0b rs: Add support for RS_FI.
Change-Id: Id8663859accfc4e3587db35dec7000059860fd49
2015-09-17 13:29:47 +00:00

28 lines
794 B
C

#include "syslib.h"
#include <assert.h>
#include <minix/sysutil.h>
EXTERN __attribute__((weak)) int edfi_ctl_process_request(void *ctl_request);
EXTERN int do_sef_fi_request(message *m_ptr);
/*===========================================================================*
* do_sef_fi_request *
*===========================================================================*/
int do_sef_fi_request(message *m_ptr)
{
/* See if we are simply asked to crash. */
if (m_ptr->m_lsys_fi_ctl.subtype == RS_FI_CRASH)
panic("Crash!");
#if SEF_FI_ALLOW_EDFI
/* Forward the request to the EDFI fault injector, if linked in. */
if(edfi_ctl_process_request)
return edfi_ctl_process_request(m_ptr);
#endif
return ENOSYS;
}