INCREMENT_PC
vcpu_set_flag(vcpu, INCREMENT_PC);
WARN_ON(vcpu_get_flag((v), INCREMENT_PC)); \
vcpu_get_flag(vcpu, INCREMENT_PC)))
} else if (vcpu_get_flag(vcpu, INCREMENT_PC)) {
vcpu_clear_flag(vcpu, INCREMENT_PC);
vcpu_clear_flag(vcpu, INCREMENT_PC);