| /seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 810 seL4_Word unused0 = 0; local
815 x86_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
829 seL4_Word unused0 = 0; local
834 x86_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
857 seL4_Word unused0 = 0; local
861 x86_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, MCS_COND(0, &unused2));
870 seL4_Word unused0 = 0; local
875 x86_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, MCS_COND(0, &unused3));
900 seL4_Word unused0 = 0; local
903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0,
916 seL4_Word unused0 = 0; local
929 seL4_Word unused0 = 0; local
940 seL4_Word unused0 = 0; local
965 seL4_Word unused0 = 0; local
976 seL4_Word unused0 = 0; local
988 seL4_Word unused0 = 0; local
999 seL4_Word unused0 = 0; local
[all...] |
| /seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 581 seL4_Word unused0 = 0; local
588 x64_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
601 seL4_Word unused0 = 0; local
608 x64_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
627 seL4_Word unused0 = 0; local
633 x64_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &val, &unused2, &unused3, &unused4, 0);
649 seL4_Word unused0 = 0; local
655 x64_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
667 seL4_Word unused0 = 0; local
674 x64_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0,
689 seL4_Word unused0 = 0; local
704 seL4_Word unused0 = 0; local
717 seL4_Word unused0 = 0; local
744 seL4_Word unused0 = 0; local
757 seL4_Word unused0 = 0; local
771 seL4_Word unused0 = 0; local
784 seL4_Word unused0 = 0; local
[all...] |
| /seL4-test-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 577 seL4_Word unused0 = 0; local
584 arm_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
597 seL4_Word unused0 = 0; local
604 arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
622 seL4_Word unused0 = 0; local
628 arm_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
637 seL4_Word unused0 = 0; local
644 arm_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5, 0);
667 seL4_Word unused0 = 0; local
674 arm_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0,
681 seL4_Word unused0 = 0; local
695 seL4_Word unused0 = 0; local
728 seL4_Word unused0 = 0; local
741 seL4_Word unused0 = 0; local
754 seL4_Word unused0 = 0; local
767 seL4_Word unused0 = 0; local
[all...] |
| /seL4-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 778 seL4_Word unused0 = 0; local
785 riscv_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3,
799 seL4_Word unused0 = 0; local
806 riscv_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3,
826 seL4_Word unused0 = 0; local
832 riscv_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2,
842 seL4_Word unused0 = 0; local
849 riscv_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
868 seL4_Word unused0 = 0; local
875 riscv_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0,
882 seL4_Word unused0 = 0; local
897 seL4_Word unused0 = 0; local
930 seL4_Word unused0 = 0; local
943 seL4_Word unused0 = 0; local
956 seL4_Word unused0 = 0; local
969 seL4_Word unused0 = 0; local
[all...] |
| /seL4-test-master/kernel/include/drivers/irq/ |
| H A D | bcm2836-armctrl-ic.h | 94 uint32_t unused0; /* 0x04 */ member in struct:core_regs
|