voyager_set_pwm
reg = voyager_set_pwm(100, 100); /* 100Hz, 10% duty cycle */
pwm = voyager_set_pwm(20000, level * 1000 / 256);
uint32_t voyager_set_pwm(int, int);