HV_INTR_DELIVERED_STATE
if (intr_state != HV_INTR_DELIVERED_STATE)
(state == HV_INTR_DELIVERED_STATE); /* */) {
(state == HV_INTR_DELIVERED_STATE); /* */) {
(state == HV_INTR_DELIVERED_STATE); /* */) {
H_EOK) && (intr_state == HV_INTR_DELIVERED_STATE)) {