There is a semaphore for reading log from remote share memory and printing to UART console. I believe reason for semaphore is to allow one core at a time to read from share memory.
Why isn't there semaphore for writing to remote share log? For example, Vps_printf( ) writes to shared log memory without semaphore.
Regards,
Amer