Searched refs:tpr_guest_irq_sync_val_get (Results 1 – 1 of 1) sorted by relevance
30 static unsigned int tpr_guest_irq_sync_val_get(void) in tpr_guest_irq_sync_val_get() function131 GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 0); in tpr_guest_code()136 while (tpr_guest_irq_sync_val_get() == 0) in tpr_guest_code()138 GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 1); in tpr_guest_code()147 GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 1); in tpr_guest_code()153 while (tpr_guest_irq_sync_val_get() == 1) in tpr_guest_code()155 GUEST_ASSERT_EQ(tpr_guest_irq_sync_val_get(), 2); in tpr_guest_code()