I am trying to configure GPIO pins 16,17,30 and 31 as outputs. rcw 12 is set to 0xc8c39100. I can not test the output pins with a multimeter. It seems, from reading GPIODAT register, 16 and 17 works fine. 30 and 31 always seem to be 0. Pins are NOT set to open drain configuration. I tried rcw12 set to 0x88c39100 and 0x48c39100 also but it did not work. Any help is appreciated.