/* Block Kernel (disable: thread switching, time tick, post ISR processing).  */
static void KernelBlock(void)
/* Block Kernel (disable: thread switching, time tick, post ISR processing).  */
static void KernelBlock(void)
{
    ClrPendSV();
    osRtxInfo.kernel.pendSV = 1U;
  }
}