+ printf ("/* syscall mapping table */\n");
+ printf ("CB_TARGET_DEFS_MAP cb_init_syscall_map[] = {\n");
+ for (t = &sys_tdefs[0]; t->symbol; ++t)
+ {
+ printf ("#ifdef CB_%s\n", t->symbol);
+ /* Skip the "SYS_" prefix for the name. */
+ printf (" { \"%s\", CB_%s, TARGET_%s },\n", t->symbol + 4, t->symbol, t->symbol);
+ printf ("#endif\n");
+ }
+ printf (" { 0, -1, -1 }\n");
+ printf ("};\n\n");
+