Changeset View
Changeset View
Standalone View
Standalone View
sys/dev/veriexec/verified_exec.c
Show First 20 Lines • Show All 260 Lines • ▼ Show 20 Lines | |||||
static void | static void | ||||
veriexec_drvinit(void *unused __unused) | veriexec_drvinit(void *unused __unused) | ||||
{ | { | ||||
make_dev(&veriexec_cdevsw, 0, UID_ROOT, GID_WHEEL, 0600, "veriexec"); | make_dev(&veriexec_cdevsw, 0, UID_ROOT, GID_WHEEL, 0600, "veriexec"); | ||||
} | } | ||||
SYSINIT(veriexec, SI_SUB_PSEUDO, SI_ORDER_ANY, veriexec_drvinit, NULL); | SYSINIT(veriexec, SI_SUB_PSEUDO, SI_ORDER_ANY, veriexec_drvinit, NULL); | ||||
MODULE_DEPEND(veriexec, mac_veriexec, 1, 1, 1); | MODULE_DEPEND(veriexec, mac_veriexec, MAC_VERIEXEC_VERSION, | ||||
MAC_VERIEXEC_VERSION, MAC_VERIEXEC_VERSION); |