#include <stdio.h>
#include <IOKit/IOKitLib.h>
#include <IOKit/IOCFPlugIn.h>

kern_return_t
IOCreatePlugInInterfaceForService(io_service_t service,
                CFUUIDRef pluginType, CFUUIDRef interfaceType,
                IOCFPlugInInterface *** theInterface, SInt32 * theScore){
printf ("IOCreatePlugInInterfaceForService",service,pluginType,interfaceType,*** theInterface, *theScore);
};

kern_return_t
IODestroyPlugInInterface(IOCFPlugInInterface ** apple_interface){
printf ("IODestroyPlugInInterface",** apple_interface);
};



