Can Xcode DriverKit library include kern/clock.h?

My user space driver need to call a function:

clock_get_calendar_microtime(&currentTime_sec,&currentTime_usec);

I hope Xcode DriverKit library can include "kern/clock.h"