Two processors sharing the same mutex, one with linux the otherone without

Hello to everyone! I am struggling to make this work, let me share my efforts to make the mutex work between a NIOS2-MMU Linux and a NIOS2- w/o LINUX My NIOS2 NO-LINUX is running this program...