There is a potential compile error in the function tfm_core_ns_ipc_request(), "fn" with type "void *" direclty assign to "desc.sfn" with type sfn_t.