| /seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | traps.h | 21 void c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4,
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 584 seL4_Word unused3 = 0; local
588 x64_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
604 seL4_Word unused3 = 0; local
608 x64_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
630 seL4_Word unused3 = 0; local
633 x64_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &val, &unused2, &unused3, &unused4, 0);
652 seL4_Word unused3 = 0; local
655 x64_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
670 seL4_Word unused3 = 0; local
674 x64_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
692 seL4_Word unused3 = 0; local
707 seL4_Word unused3 = 0; local
720 seL4_Word unused3 = 0; local
747 seL4_Word unused3 = 0; local
760 seL4_Word unused3 = 0; local
774 seL4_Word unused3 = 0; local
787 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 584 seL4_Word unused3 = 0; local
588 x64_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
604 seL4_Word unused3 = 0; local
608 x64_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
630 seL4_Word unused3 = 0; local
633 x64_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &val, &unused2, &unused3, &unused4, 0);
652 seL4_Word unused3 = 0; local
655 x64_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
670 seL4_Word unused3 = 0; local
674 x64_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
692 seL4_Word unused3 = 0; local
707 seL4_Word unused3 = 0; local
720 seL4_Word unused3 = 0; local
747 seL4_Word unused3 = 0; local
760 seL4_Word unused3 = 0; local
774 seL4_Word unused3 = 0; local
787 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 580 seL4_Word unused3 = 0; local
584 arm_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
600 seL4_Word unused3 = 0; local
604 arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
625 seL4_Word unused3 = 0; local
628 arm_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
640 seL4_Word unused3 = 0; local
644 arm_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
670 seL4_Word unused3 = 0; local
674 arm_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3,
684 seL4_Word unused3 = 0; local
698 seL4_Word unused3 = 0; local
731 seL4_Word unused3 = 0; local
744 seL4_Word unused3 = 0; local
757 seL4_Word unused3 = 0; local
770 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 580 seL4_Word unused3 = 0; local
584 arm_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
600 seL4_Word unused3 = 0; local
604 arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
625 seL4_Word unused3 = 0; local
628 arm_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
640 seL4_Word unused3 = 0; local
644 arm_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
670 seL4_Word unused3 = 0; local
674 arm_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3,
684 seL4_Word unused3 = 0; local
698 seL4_Word unused3 = 0; local
731 seL4_Word unused3 = 0; local
744 seL4_Word unused3 = 0; local
757 seL4_Word unused3 = 0; local
770 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 781 seL4_Word unused3 = 0; local
785 riscv_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3,
802 seL4_Word unused3 = 0; local
806 riscv_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3,
829 seL4_Word unused3 = 0; local
833 &unused3, &unused4, 0);
845 seL4_Word unused3 = 0; local
849 riscv_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
871 seL4_Word unused3 = 0; local
875 riscv_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3,
885 seL4_Word unused3 = 0; local
900 seL4_Word unused3 = 0; local
933 seL4_Word unused3 = 0; local
946 seL4_Word unused3 = 0; local
959 seL4_Word unused3 = 0; local
972 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 781 seL4_Word unused3 = 0; local
785 riscv_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3,
802 seL4_Word unused3 = 0; local
806 riscv_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3,
829 seL4_Word unused3 = 0; local
833 &unused3, &unused4, 0);
845 seL4_Word unused3 = 0; local
849 riscv_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
871 seL4_Word unused3 = 0; local
875 riscv_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3,
885 seL4_Word unused3 = 0; local
900 seL4_Word unused3 = 0; local
933 seL4_Word unused3 = 0; local
946 seL4_Word unused3 = 0; local
959 seL4_Word unused3 = 0; local
972 seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 813 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
815 x86_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
832 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
834 x86_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
873 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
875 x86_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
968 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
971 &unused3));
979 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
982 &unused3));
991 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
1002 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 813 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
815 x86_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
832 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
834 x86_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
873 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
875 x86_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
968 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
971 &unused3));
979 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
982 &unused3));
991 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
1002 LIBSEL4_UNUSED seL4_Word unused3 = 0; local
[all...] |
| /seL4-refos-master/kernel/include/drivers/irq/ |
| H A D | bcm2836-armctrl-ic.h | 108 uint32_t unused3; /* 0x3C */ member in struct:core_regs
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | c_traps.c | 160 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, argument
|