Searched refs:zynq_slcr_get_device_id (Results 1 – 3 of 3) sorted by relevance
26 extern u32 zynq_slcr_get_device_id(void);
127 zynq_slcr_get_device_id()); in zynq_init_machine()
84 u32 zynq_slcr_get_device_id(void) in zynq_slcr_get_device_id() function