MAX_NUM_PRIORITIES
unsigned char stack[MAX_NUM_PRIORITIES];
if (WARN_ON(os_cppr->index >= MAX_NUM_PRIORITIES - 1))