Searched refs:xilinx_timer_init (Results 1 – 1 of 1) sorted by relevance
246 static void __init xilinx_timer_init(struct device_node *timer) in xilinx_timer_init() function311 xilinx_timer_init);