Symbol: mchp_pit64b_cnt_read
drivers/clocksource/timer-microchip-pit64b.c
167
return mchp_pit64b_cnt_read(mchp_pit64b_cs_base);
drivers/clocksource/timer-microchip-pit64b.c
172
return mchp_pit64b_cnt_read(mchp_pit64b_cs_base);
drivers/clocksource/timer-microchip-pit64b.c
177
return mchp_pit64b_cnt_read(mchp_pit64b_cs_base);