Searched refs:LIBSEL4_UNUSED (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 24 #define LIBSEL4_UNUSED __attribute__((unused)) macro
36 #define LIBSEL4_INLINE LIBSEL4_UNUSED LIBSEL4_WEAK
37 #define LIBSEL4_INLINE_FUNC LIBSEL4_UNUSED LIBSEL4_WEAK
41 #define LIBSEL4_INLINE LIBSEL4_NOINLINE LIBSEL4_UNUSED LIBSEL4_WEAK
52 typedef int __assert_failed_##name[(expr) ? 1 : -1] LIBSEL4_UNUSED;
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 437 LIBSEL4_UNUSED seL4_Word mr1; in seL4_Recv()
463 LIBSEL4_UNUSED seL4_Word msg1 = 0; in seL4_RecvWithMRs()
493 LIBSEL4_UNUSED seL4_Word mr1; in seL4_NBRecv()
591 LIBSEL4_UNUSED seL4_Word msg1 = 0; in seL4_CallWithMRs()
657 LIBSEL4_UNUSED seL4_Word msg1 = 0; in seL4_ReplyRecvWithMRs()
813 LIBSEL4_UNUSED seL4_Word unused3 = 0; in seL4_DebugPutChar()
832 LIBSEL4_UNUSED seL4_Word unused3 = 0; in seL4_DebugDumpScheduler()
859 LIBSEL4_UNUSED seL4_Word unused2 = 0; in seL4_DebugCapIdentify()
873 LIBSEL4_UNUSED seL4_Word unused3 = 0; in seL4_DebugNameThread()
918 LIBSEL4_UNUSED seL4_Word unused2 = 0; in seL4_BenchmarkResetLog()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 86 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_recv()
117 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_send_recv()
|
| A D | syscalls_sysenter.h | 89 …out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word repl… in x64_sys_recv()
122 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_send_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 116 …out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word repl… in arm_sys_recv()
148 LIBSEL4_UNUSED seL4_Word reply) in arm_sys_send_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 117 …out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word repl… in arm_sys_recv()
148 LIBSEL4_UNUSED seL4_Word reply) in arm_sys_send_recv()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 85 …out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word repl… in riscv_sys_recv()
128 *in_out_mr3, LIBSEL4_UNUSED seL4_Word reply) in riscv_sys_send_recv()
|
Completed in 18 milliseconds