write_gic_vl_compare 52 drivers/clocksource/mips-gic-timer.c write_gic_vl_compare(cnt); write_gic_vl_compare 65 drivers/clocksource/mips-gic-timer.c write_gic_vl_compare(read_gic_vl_compare());