|  | @@ -229,3 +229,11 @@ static void irq_makeTasksReadyFromCurrentDate (IRQ_MODE_ const uint32_t inCurren
 | 
	
		
			
				|  |  |  }
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |  MACRO_REAL_TIME_ISR (irq_makeTasksReadyFromCurrentDate) ;
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +// Synchronisation
 | 
	
		
			
				|  |  | +void kernel_blockRunningTaskInList (KERNEL_MODE_ TaskList & ioWaitingList) {
 | 
	
		
			
				|  |  | +	XTR_ASSERT_NON_NULL_POINTER (gRunningTaskControlBlockPtr) ;
 | 
	
		
			
				|  |  | +	ioWaitingList.enterTask (MODE_ gRunningTaskControlBlockPtr) ;
 | 
	
		
			
				|  |  | +	kernel_makeNoTaskRunning (MODE) ;
 | 
	
		
			
				|  |  | +}
 | 
	
		
			
				|  |  | +
 |