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.
Can DriverKit use pthread?
 
 
Q