Searched refs:vkernel_enable (Results 1 – 5 of 5) sorted by relevance
58 extern int vkernel_enable;
83 int vkernel_enable; variable84 SYSCTL_INT(_vm, OID_AUTO, vkernel_enable, CTLFLAG_RW, &vkernel_enable, 0, "");
86 if (vkernel_enable == 0) in sys_vmspace_create()
439 vkernel_enable="NO" # Set to YES to enable starting of vkernels
185 sysctl vm.vkernel_enable=1