Those are macros from the PBP library. You won't find them in any manuals.

You don't really need to understand the inner workings of DT_INTS to use them.
Which is kindof the purpose, allowing people to use Interrupts without knowing all the details of using interrupts.

After you have used them for a while, digging into the ASM code will make more sense.