phase shifted PWM for Atmega32u4 (Arduino Yun)

Hello,

I am trying to produce two phase shifted PWM pulses (pin 9 and 10) on ATmega32u4 (Yun).
As a start I have modified the code for Atmega328 (led - How to make sure Arduino's PWM pulses are phase shifted? - Arduino Stack Exchange)

Yup uses registers OC1A and OC1B to set pulse for pin 9 and 10. That has been checked using an oscilloscope. But I cannot figure out the right code for programming the timers TCCR1A and TCCR1B. Can anyone help me coding for Yun?

Thanks!
HC

byte dutyCycle = 80;

void setup()
{
pinMode (9, OUTPUT); // Timer 1 "B" output: OC1B
pinMode (10, OUTPUT); // Timer 1 "A" output: OC1A
analogWrite(9,50); // to initiate PWM output any value will do
analogWrite(10,50); // to initiate PWM output any value will do

// Set OC1A on Compare Match when up-counting.
// Clear OC1B on Compare Match when up-counting.
TCCR1A = ??
TCCR1B = ??
OCR1A = dutyCycle; // duty cycle out of 255
OCR1B = 255 - dutyCycle; // duty cycle out of 255
} // end of setup

void loop() { }