VMCMDSET_INIT     574 compat/linux/linux_exec.c 	VMCMDSET_INIT(&vcset);
VMCMDSET_INIT     302 kern/kern_exec.c 	VMCMDSET_INIT(&pack.ep_vmcmds);