641 static void armsse_forward_ppc(ARMSSE *s, const char *ppcname, int ppcnum)  in armsse_forward_ppc()  argument
655     name = g_strdup_printf("%s_nonsec", ppcname);  in armsse_forward_ppc()
658     name = g_strdup_printf("%s_ap", ppcname);  in armsse_forward_ppc()
661     name = g_strdup_printf("%s_irq_enable", ppcname);  in armsse_forward_ppc()
664     name = g_strdup_printf("%s_irq_clear", ppcname);  in armsse_forward_ppc()
674     name = g_strdup_printf("%s_irq_status", ppcname);  in armsse_forward_ppc()
1570         char *ppcname = g_strdup_printf("ahb_ppcexp%d", i);  in armsse_realize()  local
1572         armsse_forward_ppc(s, ppcname, i);  in armsse_realize()
1573         g_free(ppcname);  in armsse_realize()
1577         char *ppcname = g_strdup_printf("apb_ppcexp%d", i);  in armsse_realize()  local
1579         armsse_forward_ppc(s, ppcname, i + IOTS_NUM_AHB_EXP_PPC);  in armsse_realize()
1580         g_free(ppcname);  in armsse_realize()