Wrong macro parameter name in several portmacro.h files
Market leading real time kernel for 40+ microcontroller architectures
Brought to you by:
gaurav-aws,
rtel
Fixed - but not yet checked in. Will be in the next release.