How to setting Digital Pins Quickly in Arudino due

Hardware Arduino Due
3

I'm using this:

static __inline__ void digitalWriteDirect(int pin, boolean val){
  if(val) g_APinDescription[pin].pPort -> PIO_SODR = g_APinDescription[pin].ulPin;
  else    g_APinDescription[pin].pPort -> PIO_CODR = g_APinDescription[pin].ulPin;
}

It's from another thread and is quite fast. Just replace all calls of digitalWrite with digitalWriteDirect