VIRQ_ACTIVATE
if ((vflags & VIRQ_ACTIVATE) &&
if (!(vflags & VIRQ_ACTIVATE))
vflags |= VIRQ_ACTIVATE;