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

char *rt_syscallnames[] = {
	"memlk",			/* 0 = memlk */
	"memunlk",			/* 1 = memunlk */
	"psx4_get_todtimer",			/* 2 = psx4_get_todtimer */
	"psx4_set_todtimer",			/* 3 = psx4_set_todtimer */
	"psx4_time_drift",			/* 4 = psx4_time_drift */
	"rt_getprio",			/* 5 = rt_getprio */
	"rt_setprio",			/* 6 = rt_setprio */
	"psx4_timer_create",			/* 7 = psx4_timer_create */
	"psx4_timer_delete",			/* 8 = psx4_timer_delete */
	"psx4_sem_sleep",			/* 9 = psx4_sem_sleep */
	"psx4_sem_wakeup",			/* 10 = psx4_sem_wakeup */
	"aio_init",			/* 11 = aio_init */
	"aio_transfer",			/* 12 = aio_transfer */
	"aio_transfer_done",			/* 13 = aio_transfer_done */
	"aio_wait",			/* 14 = aio_wait */
	"aio_done",			/* 15 = aio_done */
	"aio_transfer_cancel",			/* 16 = aio_transfer_cancel */
	"aio_info",			/* 17 = aio_info */
};
