ox810se_rps       285 drivers/clocksource/timer-oxnas-rps.c TIMER_OF_DECLARE(ox810se_rps,
ox810se_rps       239 drivers/irqchip/irq-versatile-fpga.c IRQCHIP_DECLARE(ox810se_rps, "oxsemi,ox810se-rps-irq", fpga_irq_of_init);