This macros are useless or they don't do nothing as pinMode(pinX,OUTPUT); comand does not turn on the PIO_OWER register need for operations on PIO_ODSR and PIO_PDSR.
I think some sort of code like this inside the pinMode void on OUTPUT case will solve that:
I need to check if setting OWER has some other side-effects (from the datasheet seems not, but the fact that is disable by default makes me some suspect).
Ok sorry I just realised now that alvesjc allready reported the same.
Yes you should check it, but I think for keeping compatibility with most of the code out there since for normal Arduinos the macros get someting that can be used straight without the need of further comands and that should be good with users thinking that doesn't work as there is nothing documented anyware related this specifc cases.
from a compatibility point of view: we should ensure that these macros returns an uint8_t *, so the libraries made for AVR could work without (or with less) effort.
from an API point of view: portOutputRegister returns a pointer to the Output Register (as the macro name suggests) and I expect this pointer to be of same size of the register.