Searched defs:intc_name (Results 1 – 3 of 3) sorted by relevance
63 char *core_name, *cpu_name, *intc_name; in create_fdt() local
246 g_autofree char *intc_name = NULL; in create_fdt_socket_cpus() local
461 char *name, *intc_name; in fdt_create_pcie() local