Richard Barry 686d190798 Convert some ports to use xTaskIncrementTick() in place of vTaskIncrementTick(). ... Move DSB instructions to before WFI instructions in line with ARM recommendations.		2013-06-06 15:46:40 +00:00
..
port.c	Convert some ports to use xTaskIncrementTick() in place of vTaskIncrementTick().	2013-06-06 15:46:40 +00:00
portmacro.h	Fix compiler warning in psp_test.c when compiled with ARM compiler.	2013-05-19 09:43:00 +00:00