| /* ARM specific syscalls */ | |
| { 5, 0, printargs, "SYS_0" }, /* 0 */ | |
| { 5, 0, printargs, "breakpoint" }, /* 1 */ | |
| { 5, 0, printargs, "cacheflush" }, /* 2 */ | |
| { 5, 0, printargs, "usr26" }, /* 3 */ | |
| { 5, 0, printargs, "usr32" }, /* 4 */ | |
| { 5, 0, printargs, "set_tls" }, /* 5 */ |