Either change libsoc_gpio_wait_interrupt() implementation to take multiple inputs or create a new routine to achieve this.