Arduino DUE PWM Frequency Change

Hello

I am trying to figure out how to change the PWM frequency in the ARM architecture of the Arduino DUE. Defaulted the PWM frequency is 1KHz (scoped). I have tried to change the frequency by going into the variant.h file and change it to my needed frequency (4KHz). This did not work.

From the data sheet the register 0x40094000 is the PWM Clock Register. I want to read this 4 byte register to see if this is responsible for setting the rate. I do not know how to read it nor write it. Does anyone have an idea? or solution to my problem?

Dan