The definition of BODCTRL register in the LPC5410x User Manual (U10850.pdf) does not seem to match the way the PMU driver in the latest LPCOpen package (v3.03.000) uses it.
For instance, interrupt level is set through bits 4:3 whereas the driver sets bits 3:2. Also, according to the user manual, bit 5 toggles the reset functions, whereas the driver uses bit 4 for that. See image below.
Maybe I'm looking at the wrong manual or I overlooked any other information?
