VMCMD_BASE
flags = VMCMD_BASE;
if (vcp->ev_flags & VMCMD_BASE)
if ((vcp->ev_flags & VMCMD_BASE) != 0) {