xilinx_timer_pwm_enabled
if (!xilinx_timer_pwm_enabled(tcsr0, tcsr1)) {
state->enabled = xilinx_timer_pwm_enabled(tcsr0, tcsr1);