How to get 20khz PWM on pin D9

Using Arduino Motors, Mechanics, Power and CNC
23

You forgot something...

void setup()  {
  analogWriteSAH_Init();
...