Search of the ESP documents actually produces a search entry for: machine.disable_irq (...)
but clicking on the link leads to a page without that entry.
dir(machine), dir(Pin) and dir(esp) don't show anything relevant either. Seems possible though that there is some way to temporarily enable and disable external interrupts that I am missing.
Is it possible to disable IRQs on ESP8266 Boards
Re: Is it possible to disable IRQs on ESP8266 Boards
OK, I see this is the subject of pull request #2090 so I'll stay tuned.