#include "portmacro_cmsis.h"

void portYIELD_FROM_ISR(BaseType_t) {}