Searched refs:zynq_slcr_get_device_id (Results 1 – 3 of 3) sorted by relevance
18 extern u32 zynq_slcr_get_device_id(void);
75 u32 zynq_slcr_get_device_id(void) in zynq_slcr_get_device_id() function
120 zynq_slcr_get_device_id()); in zynq_init_machine()