PER_VCPU_NOTIFICATION_FLAG
flags = PER_VCPU_NOTIFICATION_FLAG;
flags |= (PER_VCPU_NOTIFICATION_FLAG | vcpu << 16);