まだ書かれてる途中でGPIO関連のところしか書かれてないけど
PIC32MX EFのことが書かれてるホームページあるね

http://www.ys-labo.com/Shop/Referrence/PIC32MZ/32MZ%20Gaiyou%20sum.html