vrc4172pwm_event
vrc4172pwm_event, sc);
vrc4172pwm_event, sc);
vrc4172pwm_event, sc);
vrc4172pwm_event, sc);
vrc4172pwm_event, sc);
static int vrc4172pwm_event(void *, int, long, void *);