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