tpr_guest_irq_sync_val_get
GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 0);
while (tpr_guest_irq_sync_val_get() == 0)
GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 1);
GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 1);
while (tpr_guest_irq_sync_val_get() == 1)
GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 2);