Can DriverKit use pthread?

Hi everyone,
I am newbie deeply diving in DriverKit.
I need to schedule objects on-by-one, so that I need some methods to manage these.
I tried declare variable like

Code Block 
pthread_mutexattr_t*

or

Code Block 
pthread_mutex_t

in my .iig files, but never build success.
I also tried include

Code Block 
libsystem_pthread.tbd

in Frameworks and libraries, or using
#include <pthread.h>
all never been success.
Is it possible to use pthread in a DriverKit dext? Appreciate for any reply.