Symbol: mchp_pit64b_dt_init_timer
drivers/clocksource/timer-microchip-pit64b.c
498
return mchp_pit64b_dt_init_timer(node, true);
drivers/clocksource/timer-microchip-pit64b.c
501
return mchp_pit64b_dt_init_timer(node, false);