nested_exit_intr_ack_set
if (!nested_exit_intr_ack_set(vcpu)) {
CC(!nested_exit_intr_ack_set(vcpu)) ||