/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/ |
H A D | syscall_arch.h | 18 static inline long __syscall2(long n, long a1, long a2) argument 20 return CALL_SYSINFO(n, a1, a2); 23 static inline long __syscall3(long n, long a1, long a2, long a3) argument 25 return CALL_SYSINFO(n, a1, a2, a3); 28 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 30 return CALL_SYSINFO(n, a1, a2, a3, a4); 33 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 35 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 38 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 40 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/arm_sel4/ |
H A D | syscall_arch.h | 20 static inline long __syscall2(long n, long a1, long a2) argument 22 return CALL_SYSINFO(n, a1, a2); 25 static inline long __syscall3(long n, long a1, long a2, long a3) argument 27 return CALL_SYSINFO(n, a1, a2, a3); 30 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 32 return CALL_SYSINFO(n, a1, a2, a3, a4); 35 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 37 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 40 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 42 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/i386/ |
H A D | syscall_arch.h | 20 static inline long __syscall2(long n, long a1, long a2) argument 23 __asm__ __volatile__ (".hidden __vsyscall ; call __vsyscall" : "=a"(__ret) : "a"(n), "d"(a1), "c"(a2) : "memory"); 27 static inline long __syscall3(long n, long a1, long a2, long a3) argument 30 __asm__ __volatile__ (".hidden __vsyscall ; call __vsyscall" : "=a"(__ret) : "a"(n), "d"(a1), "c"(a2), "D"(a3) : "memory"); 34 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 37 __asm__ __volatile__ (".hidden __vsyscall ; call __vsyscall" : "=a"(__ret) : "a"(n), "d"(a1), "c"(a2), "D"(a3), "S"(a4) : "memory"); 41 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 44 __asm__ __volatile__ ("push %6 ; .hidden __vsyscall ; call __vsyscall ; add $4,%%esp" : "=a"(__ret) : "a"(n), "d"(a1), "c"(a2), "D"(a3), "S"(a4), "g"(a5) : "memory"); 48 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 51 __asm__ __volatile__ ("push %6 ; .hidden __vsyscall6 ; call __vsyscall6 ; add $4,%%esp" : "=a"(__ret) : "a"(n), "d"(a1), "c"(a2), " [all...] |
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/ |
H A D | syscall_arch.h | 20 static inline long __syscall2(long n, long a1, long a2) argument 22 return CALL_SYSINFO(n, a1, a2); 25 static inline long __syscall3(long n, long a1, long a2, long a3) argument 27 return CALL_SYSINFO(n, a1, a2, a3); 30 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 32 return CALL_SYSINFO(n, a1, a2, a3, a4); 35 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 37 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 40 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 42 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/riscv/ |
H A D | syscall_arch.h | 24 static inline long __syscall2(long n, long a1, long a2) argument 26 return CALL_SYSINFO(n, a1, a2); 29 static inline long __syscall3(long n, long a1, long a2, long a3) argument 31 return CALL_SYSINFO(n, a1, a2, a3); 34 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 36 return CALL_SYSINFO(n, a1, a2, a3, a4); 39 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 41 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 44 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 46 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/riscv_sel4/ |
H A D | syscall_arch.h | 24 static inline long __syscall2(long n, long a1, long a2) argument 26 return CALL_SYSINFO(n, a1, a2); 29 static inline long __syscall3(long n, long a1, long a2, long a3) argument 31 return CALL_SYSINFO(n, a1, a2, a3); 34 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 36 return CALL_SYSINFO(n, a1, a2, a3, a4); 39 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 41 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 44 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 46 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/ |
H A D | syscall_arch.h | 18 static inline long __syscall2(long n, long a1, long a2) argument 20 return CALL_SYSINFO(n, a1, a2); 23 static inline long __syscall3(long n, long a1, long a2, long a3) argument 25 return CALL_SYSINFO(n, a1, a2, a3); 28 static inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 30 return CALL_SYSINFO(n, a1, a2, a3, a4); 33 static inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 35 return CALL_SYSINFO(n, a1, a2, a3, a4, a5); 38 static inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 40 return CALL_SYSINFO(n, a1, a2, a [all...] |
/seL4-camkes-master/projects/musllibc/arch/x86_64/ |
H A D | syscall_arch.h | 18 static __inline long __syscall2(long n, long a1, long a2) argument 21 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2) 26 static __inline long __syscall3(long n, long a1, long a2, long a3) argument 29 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 34 static __inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 38 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 43 static __inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 48 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 53 static __inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 59 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), [all...] |
/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | loopmain.h | 31 #define FUN_DISP_MACRO_dispatch_t2(a1, a2, a3)\ 34 switch (a2) {\ 52 #define FUN_DISP_MACRO_dispatch_t4(a1, a2, a3)\ 59 #define FUN_DISP_MACRO_dispatch_t5(a1, a2, a3)\ 62 switch (a2) {\ 96 static inline u32 dispatch_t2(untyped_func_enum a2, t1 a3) argument 98 switch (a2) { 108 static inline u32 dispatch_t4(untyped_func_enum a2, t3 a3) argument 112 static inline u32 dispatch_t5(untyped_func_enum a2, u32 a3) argument 114 switch (a2) { [all...] |
H A D | pass_simple-take-letput.h | 32 #define FUN_DISP_MACRO_dispatch_t3(a1, a2, a3)\ 39 #define FUN_DISP_MACRO_dispatch_t4(a1, a2, a3)\ 57 static inline t1* dispatch_t3(untyped_func_enum a2, t1* a3) argument 61 static inline t2* dispatch_t4(untyped_func_enum a2, t2* a3) argument
|
H A D | pass_very-simple-split.h | 27 #define FUN_DISP_MACRO_dispatch_t2(a1, a2, a3)\ 39 static inline u32 dispatch_t2(untyped_func_enum a2, t1 a3) argument
|
H A D | pass_prim-ops.h | 37 static inline u16 dispatch_t1(untyped_func_enum a2, u16 a3) argument 41 static inline bool_t dispatch_t2(untyped_func_enum a2, u32 a3) argument 45 static inline u32 dispatch_t3(untyped_func_enum a2, u32 a3) argument 49 static inline u64 dispatch_t4(untyped_func_enum a2, u64 a3) argument 53 static inline u8 dispatch_t5(untyped_func_enum a2, u8 a3) argument
|
H A D | pass_middle-size-example.h | 27 #define FUN_DISP_MACRO_dispatch_t5(a1, a2, a3)\ 35 u32 a2; member in struct:t1 56 static inline t4 dispatch_t5(untyped_func_enum a2, t3 a3) argument
|
H A D | pass_middle-size-example.c | 27 u32 r9 = (*r8).a2; 32 (*r12).a2 = r11; 58 u32 r25 = (*r24).a2; 63 (*r28).a2 = r27;
|
/seL4-camkes-master/tools/riscv-pk/bbl/ |
H A D | bbl.c | 47 uintptr_t a0 = 0, a1 = 0, a2 = 0, a3 = 0, tmp, cfg; local 55 "csrr %[a2], pmpaddr2\n\t" 61 [a0] "+r" (a0), [a1] "+r" (a1), [a2] "+r" (a2), [a3] "+r" (a3) 65 if (!(a0 & a1 & a2 & a3)) 74 a2 = -1; 82 "csrw pmpaddr2, %[a2]\n\t" 85 :: [a0] "r" (a0), [a1] "r" (a1), [a2] "r" (a2), [a3] "r" (a3),
|
/seL4-camkes-master/projects/musllibc/arch/x32/ |
H A D | syscall_arch.h | 17 __fixup(a2); break; 31 if((a2 & (~128 /* FUTEX_PRIVATE_FLAG */)) == 0 /* FUTEX_WAIT */) __fixup(a4); break; 50 static __inline long __syscall2(long long n, long long a1, long long a2) argument 57 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2) 62 static __inline long __syscall3(long long n, long long a1, long long a2, long long a3) argument 70 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 75 static __inline long __syscall4(long long n, long long a1, long long a2, long long a3, argument 86 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 91 static __inline long __syscall5(long long n, long long a1, long long a2, long long a3, argument 104 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2), 109 __syscall6(long long n, long long a1, long long a2, long long a3, long long a4_, long long a5_, long long a6_) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/x32/ |
H A D | syscall_cp_fixup.c | 16 long __syscall_cp_asm (volatile void * foo, long long n, long long a1, long long a2, long long a3, argument 25 if((a2 & (~128 /* FUTEX_PRIVATE_FLAG */)) == 0 /* FUTEX_WAIT */) 36 return __syscall_cp_internal(foo, n, a1, a2, a3, a4, a5, a6);
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_1/ |
H A D | can_frame_1.h | 17 #define FUN_DISP_MACRO_dispatch_t11(a1, a2, a3)\ 37 static inline t10 dispatch_t11(untyped_func_enum a2, t1 a3) argument
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | variant_0.h | 28 #define FUN_DISP_MACRO_dispatch_t48(a1, a2, a3)\ 35 #define FUN_DISP_MACRO_dispatch_t49(a1, a2, a3)\ 71 static inline t1 *dispatch_t48(untyped_func_enum a2, t1 *a3) argument 75 static inline t26 dispatch_t49(untyped_func_enum a2, t1 *a3) argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
H A D | unknown_syscall_fault.c | 28 uintptr_t a2 = seL4_GetMR(5); local 37 " a2 = %p\n" 44 syscall, name, thread_id, (void *)pc, (void *)a0, (void *)a1, (void *)a2,
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | registerset.c | 12 a2, a3, a4, a5 29 a0, a1, a2, a3, a4, a5, a6, a7,
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
H A D | can_frame_0.h | 19 #define FUN_DISP_MACRO_dispatch_t8(a1, a2, a3)\ 42 static inline t7 dispatch_t8(untyped_func_enum a2, t2 *a3) argument
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_1/ |
H A D | variant_1.h | 24 #define FUN_DISP_MACRO_dispatch_t8(a1, a2, a3)\ 41 static inline u64 dispatch_t8(untyped_func_enum a2, t2 a3) argument
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/detail/ |
H A D | cpp03_zone.hpp | 185 T* allocate(A1 a1, A2 a2); 188 T* allocate(A1 a1, A2 a2, A3 a3); 191 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4); 194 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5); 197 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6); 200 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7); 203 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8); 206 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9); 209 T* allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10); 212 T* allocate(A1 a1, A2 a2, A 395 allocate(A1 a1, A2 a2) argument 414 allocate(A1 a1, A2 a2, A3 a3) argument 433 allocate(A1 a1, A2 a2, A3 a3, A4 a4) argument 452 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5) argument 471 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6) argument 490 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7) argument 509 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8) argument 528 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9) argument 547 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10) argument 566 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10, A11 a11) argument 585 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10, A11 a11, A12 a12) argument 604 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10, A11 a11, A12 a12, A13 a13) argument 623 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10, A11 a11, A12 a12, A13 a13, A14 a14) argument 642 allocate(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9, A10 a10, A11 a11, A12 a12, A13 a13, A14 a14, A15 a15) argument [all...] |
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | frontend.c | 10 long frontend_syscall(long n, uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6) argument 20 magic_mem[3] = a2;
|