I believe that attachInterrupt() works similarly on SAMD51 boards.
There's a complication that there are only 16 pin interrupts, shared by more than 16 pins, and only one pin that shares an interrupt will actually generate the interrupt (last one enabled, first one enabled? Not sure.)
But that shouldn't matter for a single button.
I don't think that the SAMD51 has ISR_DEFERRED, though.
It'd look like: