I am trying to use the NMI in the LPC55S69, and the User Manual has this section:

In the paragraph text it indicates that Table 44 gives "a list of all the peripheral interrupts and their IRQ numbers", however Table 44 (which appears immediately after) is actually a description of the NMISRC register.
Should it perhaps refer to "Table 8. Connection of interrupt sources to the NVIC" ?
Are those the IRQ numbers that should be used in the NMISRC register?
UPDATE
Edit, so lets say I have PIO1_18 set in the pins config tool for "PIN:PINT,0", and in the Peripherals tool I have it setup for a Falling Edge interrupt event, and I don't "Enable callback/interrupt" (since the 'Remark' in the User Manual above says you shouldn't).
I then disable NMIENCPU0, set IRQCPU0 to '4' (which I think is the correct value based on Table 8), and then re-enable NMIENCPU0:

How do I write the interrupt handler (in C++) for the NMI? - I don't see any examples of what format / structure it should be in?