Searched refs:sysnum (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | vsyscall.c | 54 static void debug_error(int sysnum) { argument
57 sprintf(buf, "librefossys: Error attempting syscall %d\n", sysnum);
63 static void debug_error(int sysnum) { argument
67 long sel4_vsyscall(long sysnum, ...) { argument
69 va_start(al, sysnum);
70 if (sysnum < 0 || sysnum >= ARRAY_SIZE(syscall_table)) {
71 debug_error(sysnum);
75 if (!syscall_table[sysnum]) {
76 debug_error(sysnum);
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | vsyscall.c | 54 static void debug_error(int sysnum) { argument
57 sprintf(buf, "librefossys: Error attempting syscall %d\n", sysnum);
63 static void debug_error(int sysnum) { argument
67 long sel4_vsyscall(long sysnum, ...) { argument
69 va_start(al, sysnum);
70 if (sysnum < 0 || sysnum >= ARRAY_SIZE(syscall_table)) {
71 debug_error(sysnum);
75 if (!syscall_table[sysnum]) {
76 debug_error(sysnum);
[all...] |
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 169 int sysnum; member in struct:sparse_syscall
194 if (sparse_syscall_table[i].sysnum == syscall) {
253 static void debug_error(int sysnum) argument
257 sprintf(buf, "libsel4muslcsys: Error attempting syscall %d\n", sysnum);
263 static void debug_error(int sysnum) argument
268 long sel4_vsyscall(long sysnum, ...) argument
271 va_start(al, sysnum);
273 if (sysnum < 0 || sysnum >= ARRAY_SIZE(syscall_table)) {
274 int index = find_sparse_syscall(sysnum);
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 169 int sysnum; member in struct:sparse_syscall
194 if (sparse_syscall_table[i].sysnum == syscall) {
253 static void debug_error(int sysnum) argument
257 sprintf(buf, "libsel4muslcsys: Error attempting syscall %d\n", sysnum);
263 static void debug_error(int sysnum) argument
268 long sel4_vsyscall(long sysnum, ...) argument
271 va_start(al, sysnum);
273 if (sysnum < 0 || sysnum >= ARRAY_SIZE(syscall_table)) {
274 int index = find_sparse_syscall(sysnum);
[all...] |
Completed in 208 milliseconds