I know this is an old post, but this should clear things up. Maybe it will help somebody.
When developing a driver with DriverKit you're essentially developing for a separate platform. Apple greatly restricts what is available. Sometimes it is surprising what isn't available, such as libkern/IOKit objects/methods/functions of the OSObject hierarchy, and especially os_log_create.
In any case what's available can found at
$(xcode-select -p)/Platforms/DriverKit.platform/Developer/SDKs/DriverKit.sdk/System/DriverKit/System/Library/Frameworks
and at
$(xcode-select -p)/Platforms/DriverKit.platform/Developer/SDKs/DriverKit.sdk/System/DriverKit/usr/include
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: