Symbol: INSN_CONFIG_GET_PWM_OUTPUT