22 lines
		
	
	
		
			621 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			22 lines
		
	
	
		
			621 B
		
	
	
	
		
			C
		
	
	
	
	
	
| 
 | |
| #include "syslib.h"
 | |
| #include <assert.h>
 | |
| #include <minix/sysutil.h>
 | |
| 
 | |
| EXTERN __attribute__((weak)) int edfi_ctl_process_request(void *ctl_request);
 | |
| 
 | |
| /*===========================================================================*
 | |
|  *                            do_sef_fi_request             		     *
 | |
|  *===========================================================================*/
 | |
| int do_sef_fi_request(message *m_ptr)
 | |
| {
 | |
| #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;
 | |
| }
 | |
| 
 | 
