a49d074cbb
Prior to this commit, if only critical_section.h is included, there might be error about portNUM_PROCESSORS undeclared. As critical_section.h should be OS-agnostic, added FreeRTOS.h in it