This is the function in C that I need to modify. I am trying to have PREVIOUS 4 bytes of address starting from \"box\" to compare with a returned U32 value from rt_tsk
rt_tsk
You're trying to dereference a void *. That won't work. Try this instead:
void *
if (*(((uint32_t *)box)-1) != rt_tsk_self()) {