Symbol: tpr_guest_irq_sync_val_inc