I don't remember off hand what the answer is, but DT_INT ASM type takes only a few cycles (I think) to get in. Or get in there the actual ASM way. But, no problem waiting around either. If you have nothing else you need to do.

Just saw your edit, If your main is really doing nothing, skip the ISR all together and just wait in main for the switch press.