oxnas_rps_timer_init  286 drivers/clocksource/timer-oxnas-rps.c 		       "oxsemi,ox810se-rps-timer", oxnas_rps_timer_init);
oxnas_rps_timer_init  288 drivers/clocksource/timer-oxnas-rps.c 		       "oxsemi,ox820-rps-timer", oxnas_rps_timer_init);