23 |
# error "Never use <l4/bits/syscall.h> directly; include <l4/syscall.h> instead." |
# error "Never use <l4/bits/syscall.h> directly; include <l4/syscall.h> instead." |
24 |
#endif |
#endif |
25 |
|
|
26 |
|
/* Declare the system call stubs. */ |
27 |
|
#define _L4_EXTERN_STUBS 1 |
28 |
|
#include <l4/bits/stubs.h> |
29 |
|
#undef _L4_EXTERN_STUBS |
30 |
|
|
31 |
|
|
32 |
/* These are the clobber registers. R1, R2, R30, R31, and all |
/* These are the clobber registers. R1, R2, R30, R31, and all |
33 |
floating point registers are preserved. R3 to R10 are used in |
floating point registers are preserved. R3 to R10 are used in |