Content originally posted in LPCWare by Luis Digital on Wed Mar 24 17:07:39 MST 2010
__WFI(); is a function in C, and define an instruction that has the same name in assembler (WFI: Wait For Interrupt).
In the datasheet has more information.
There is an elaborate example "pmc" in "LPC11xx_SampleSoftware.101".