modify test_gic_timer.c for pwm