Before, tx_queue_receive() is called, I checked the stack where thread exit or return address is stored. After the call to tx_queue_receive(), the return address is altered in the stack. The return address in the stack gets corrupted. The issue is observed on STM32H7B3L processor with...