vmcmd_readvn
NEW_VMCMD(&epp->ep_vmcmds, vmcmd_readvn,
return vmcmd_readvn(l, cmd);
int vmcmd_readvn (struct lwp *, struct exec_vmcmd *);