4 #include <minix/sysutil.h>
6 EXTERN
__attribute__((weak
)) int edfi_ctl_process_request(void *ctl_request
);
8 /*===========================================================================*
10 *===========================================================================*/
11 int do_sef_fi_request(message
*m_ptr
)
14 /* Forward the request to the EDFI fault injector, if linked in. */
15 if(edfi_ctl_process_request
)
16 return edfi_ctl_process_request(m_ptr
);