Using mutex in PX4 multithreaded program

I’m developing for Snapdragon Flight. QURT system librarires don’t contain C++ STL mutex library. How can I use mutex in PX4 multithreaded program without using <mutex> or <pthread>?

Edit: I can use <pthread.h> with Qualcomm DSPAL.

I think you can take a look here :
https://github.com/PX4/NuttX/blob/master/apps/examples/elf/tests/mutex/mutex.c

All you need is pthread.h

static pthread_mutex_t mut;
pthread_mutex_init(&mut, NULL);
pthread_mutex_lock(&mut);
pthread_mutex_unlock(&mut);