Adding tickless hooks to GCC/ARM_CRx_No_GIC port. 
1 file changed