#import <driverkit/IODevice.h>
#import <kernserv/kern_server_types.h>

kern_server_t xfs_instance;

@interface xfsKernelServerInstance : Object
{
}
+ (kern_server_t *) kernelServerInstance;
@end

@implementation xfsKernelServerInstance

+ (kern_server_t *) kernelServerInstance
{
    return &xfs_instance;
}
@end

@interface xfsVersion : IODevice
{
}
+ (int) driverKitVersionForxfs;
@end

@implementation xfsVersion

+ (int) driverKitVersionForxfs
{
    return IO_DRIVERKIT_VERSION;
}
@end