/seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/arch/arm_sel4/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/arch/i386/ |
H A D | syscall_arch.h | 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), "D"(a3), "S"(a4), "g"(0+(long[]){a5, a6}) : "memory");
|
/seL4-refos-master/libs/libmuslc/arch/i386_sel4/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/arch/riscv/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/arch/riscv_sel4/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/ |
H A D | syscall_arch.h | 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, a3, a4, a5, a6);
|
/seL4-refos-master/libs/libmuslc/src/thread/x32/ |
H A D | syscall_cp_fixup.c | 17 long long a4, long long a5, long long a6) 26 __fixup(a4); 36 return __syscall_cp_internal(foo, n, a1, a2, a3, a4, a5, a6); 16 __syscall_cp_asm(volatile void * foo, long long n, long long a1, long long a2, long long a3, long long a4, long long a5, long long a6) argument
|
/seL4-refos-master/libs/libmuslc/arch/x86_64/ |
H A D | syscall_arch.h | 34 static __inline long __syscall4(long n, long a1, long a2, long a3, long a4) argument 37 register long r10 __asm__("r10") = a4; 43 static __inline long __syscall5(long n, long a1, long a2, long a3, long a4, long a5) argument 46 register long r10 __asm__("r10") = a4; 53 static __inline long __syscall6(long n, long a1, long a2, long a3, long a4, long a5, long a6) argument 56 register long r10 __asm__("r10") = a4;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | lookup_ipliteral.c | 16 struct in_addr a4; local 18 if (__inet_aton(name, &a4) > 0) { 21 memcpy(&buf[0].addr, &a4, sizeof a4);
|
/seL4-refos-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-refos-master/libs/libmuslc/arch/x32/ |
H A D | syscall_arch.h | 31 if((a2 & (~128 /* FUTEX_PRIVATE_FLAG */)) == 0 /* FUTEX_WAIT */) __fixup(a4); break; 79 register long long a4 __asm__("r10") = a4_; 87 "d"(a3), "r"(a4): "rcx", "r11", "memory"); 95 register long long a4 __asm__("r10") = a4_; 105 "d"(a3), "r"(a4), "r"(a5) : "rcx", "r11", "memory"); 113 register long long a4 __asm__("r10") = a4_; 124 "d"(a3), "r"(a4), "r"(a5), "r"(a6) : "rcx", "r11", "memory");
|
/seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 41 a4 = 13, enumerator in enum:_register 146 [seL4_UnknownSyscall_A4] = a4,\ 173 [seL4_TimeoutReply_a4] = a4, \
|
/seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 51 seL4_Word a4; member in struct:seL4_UserContext_
|
/seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 51 seL4_Word a4; member in struct:seL4_UserContext_
|
/seL4-refos-master/libs/libsel4debug/arch_include/riscv/sel4debug/arch/ |
H A D | registers.h | 41 "a4", 82 compile_time_assert(sp_correct_position, offsetof(seL4_UserContext, a4) == 20 * sizeof(seL4_Word));
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/arch_include/riscv/sel4debug/arch/ |
H A D | registers.h | 41 "a4", 82 compile_time_assert(sp_correct_position, offsetof(seL4_UserContext, a4) == 20 * sizeof(seL4_Word));
|
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | lgamma_r.c | 90 a4 = 7.38555086081402883957e-03, /* 0x3F7E404F, 0xB68FEFE8 */ variable 236 p1 = a0+z*(a2+z*(a4+z*(a6+z*(a8+z*a10))));
|
H A D | lgammaf_r.c | 25 a4 = 7.3855509982e-03, /* 0x3bf2027e */ variable 171 p1 = a0+z*(a2+z*(a4+z*(a6+z*(a8+z*a10))));
|
H A D | lgammal.c | 110 a4 = 1.135361354097447729740103745999661157426E2L, variable 292 p1 = a0 + y * (a1 + y * (a2 + y * (a3 + y * (a4 + y * a5))));
|
/seL4-refos-master/kernel/src/arch/riscv/ |
H A D | traps.S | 50 STORE a4, (13*REGBYTES)(t0)
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 258 INT_HANDLER_WITHOUT_ERR_CODE(a4)
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 350 INT_HANDLER_WITHOUT_ERR_CODE(a4,0)
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | monst.c | 51 #define A(a1,a2,a3,a4,a5,a6) {a1,a2,a3,a4,a5,a6}
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | monst.c | 51 #define A(a1,a2,a3,a4,a5,a6) {a1,a2,a3,a4,a5,a6}
|