Searched refs:tpr_guest_irq_sync_flag_reset (Results 1 – 1 of 1) sorted by relevance
24 static void tpr_guest_irq_sync_flag_reset(void) in tpr_guest_irq_sync_flag_reset() function237 tpr_guest_irq_sync_flag_reset(); in test_tpr()