DKIENT             74 sys/kern/device.c 	/*  0 */ DKIENT(copyin),
DKIENT             75 sys/kern/device.c 	/*  1 */ DKIENT(copyout),
DKIENT             76 sys/kern/device.c 	/*  2 */ DKIENT(copyinstr),
DKIENT             77 sys/kern/device.c 	/*  3 */ DKIENT(kmem_alloc),
DKIENT             78 sys/kern/device.c 	/*  4 */ DKIENT(kmem_free),
DKIENT             79 sys/kern/device.c 	/*  5 */ DKIENT(kmem_map),
DKIENT             80 sys/kern/device.c 	/*  6 */ DKIENT(page_alloc),
DKIENT             81 sys/kern/device.c 	/*  7 */ DKIENT(page_free),
DKIENT             82 sys/kern/device.c 	/*  8 */ DKIENT(page_reserve),
DKIENT             83 sys/kern/device.c 	/*  9 */ DKIENT(irq_attach),
DKIENT             84 sys/kern/device.c 	/* 10 */ DKIENT(irq_detach),
DKIENT             85 sys/kern/device.c 	/* 11 */ DKIENT(spl0),
DKIENT             86 sys/kern/device.c 	/* 12 */ DKIENT(splhigh),
DKIENT             87 sys/kern/device.c 	/* 13 */ DKIENT(splx),
DKIENT             88 sys/kern/device.c 	/* 14 */ DKIENT(timer_callout),
DKIENT             89 sys/kern/device.c 	/* 15 */ DKIENT(timer_stop),
DKIENT             90 sys/kern/device.c 	/* 16 */ DKIENT(timer_delay),
DKIENT             91 sys/kern/device.c 	/* 17 */ DKIENT(timer_ticks),
DKIENT             92 sys/kern/device.c 	/* 18 */ DKIENT(sched_lock),
DKIENT             93 sys/kern/device.c 	/* 19 */ DKIENT(sched_unlock),
DKIENT             94 sys/kern/device.c 	/* 20 */ DKIENT(sched_tsleep),
DKIENT             95 sys/kern/device.c 	/* 21 */ DKIENT(sched_wakeup),
DKIENT             96 sys/kern/device.c 	/* 22 */ DKIENT(sched_dpc),
DKIENT             97 sys/kern/device.c 	/* 23 */ DKIENT(task_capable),
DKIENT             98 sys/kern/device.c 	/* 24 */ DKIENT(exception_post),
DKIENT             99 sys/kern/device.c 	/* 25 */ DKIENT(device_create),
DKIENT            100 sys/kern/device.c 	/* 26 */ DKIENT(device_destroy),
DKIENT            101 sys/kern/device.c 	/* 27 */ DKIENT(device_lookup),
DKIENT            102 sys/kern/device.c 	/* 28 */ DKIENT(device_control),
DKIENT            103 sys/kern/device.c 	/* 29 */ DKIENT(device_broadcast),
DKIENT            104 sys/kern/device.c 	/* 30 */ DKIENT(device_private),
DKIENT            105 sys/kern/device.c 	/* 31 */ DKIENT(machine_bootinfo),
DKIENT            106 sys/kern/device.c 	/* 32 */ DKIENT(machine_powerdown),
DKIENT            107 sys/kern/device.c 	/* 33 */ DKIENT(sysinfo),
DKIENT            109 sys/kern/device.c 	/* 34 */ DKIENT(panic),
DKIENT            110 sys/kern/device.c 	/* 35 */ DKIENT(printf),
DKIENT            111 sys/kern/device.c 	/* 36 */ DKIENT(dbgctl),
DKIENT            113 sys/kern/device.c 	/* 34 */ DKIENT(machine_abort),
DKIENT            114 sys/kern/device.c 	/* 35 */ DKIENT(sys_nosys),
DKIENT            115 sys/kern/device.c 	/* 36 */ DKIENT(sys_nosys),