1#include <mach/std_types.defs>
2#include <mach/mach_types.defs>
3import "load_webdavfs.h";
4
5type string_t = c_string[*:1024];
6
7subsystem webdavfs_load_kext 87686586;
8
9serverprefix do_;
10
11routine load_kext(
12				test_port	: mach_port_t;
13				kextname	: string_t);