Searched refs:zynqmp_print_silicon_idcode (Results 1 – 1 of 1) sorted by relevance
293 static char *zynqmp_print_silicon_idcode(void) in zynqmp_print_silicon_idcode() function366 zynqmp_print_silicon_idcode(), label, BL31_BASE); in zynqmp_print_platform_name()
