For some unknown reason, I can't see any activity in the TPS25750 I2Cs_IRQ line. It seems to stay up all the time (10k external pullup).
Pluging typec to the board leasd to INT_EVENT1 contains 0810100d00000000000003 so I'm assuming that I should see I2Cs_IRQ line low. GPIO10 seems to be configured as event 56 (i2c3_master_irq_event).
Writing to INT_CLEAR1 clears INT_EVENT1 bits as expected. Unplugging the cable and INT_EVENT1 0800200500000000000000 but the I2Cs_IRQ is still up.