/*
 * System call names.
 *
 * DO NOT EDIT-- this file is automatically @generated.
 */

const char *test_syscallnames[] = {
        "#0",                   /* 0 = unimpl_syscall0 */
#ifdef PLATFORM_FOO
        "syscall1",                     /* 1 = syscall1 */
#else
        "#1",                   /* 1 = reserved for local use */
#endif
#ifdef PLATFORM_FOO
        "obs_syscall2",                 /* 2 = obsolete syscall2 */
#else
        "syscall2",                     /* 2 = syscall2 */
#endif
};