Arduino DUE Clock Frequency and PLL configuration

Hello everybody.
I have a little "simple" question for all the guests:
I noted that to get up and get down a general digital line on ARDUINO DUE need a time of about 2.5 microsecs, using the digitlaWrite() function. So my questions is: Are we sure that the clock frequency of the board is 86 MHz? Which is the proof?
In addiction I need to know if there are any possibilities to access directly to the PLL register of the microcontroller to set the clock frequency at the maximum rate.
Thank to all in advance

It's 84MHz. For evidence of this I've attached the output of GNU Radio on RTLSDR with an aerial right next to the Due - you can clearly see a strong signal at 84MHz.

For faster digitalWrite(), search the forum for digitalWriteDirect - here's one thread: http://arduino.cc/forum/index.php/topic,133884.0.html

thank you very much
I just tried to blink the led line directly via set and clear the PIOB (line 27).
Resul: get up and get down in 35 Mhz