| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
| H A D | traps.h | 33 void c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t unused5, syscall_t syscall)
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 531 seL4_Word unused1 = 0; local
535 x86_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3);
542 seL4_Word unused1 = 0; local
546 x86_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3);
573 seL4_Word unused1 = 0; local
576 x86_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2);
587 seL4_Word unused1 = 0; local
591 x86_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3);
616 seL4_Word unused1 = 0; local
618 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1,
628 seL4_Word unused1 = 0; local
642 seL4_Word unused1 = 0; local
654 seL4_Word unused1 = 0; local
682 seL4_Word unused1 = 0; local
693 seL4_Word unused1 = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 334 seL4_Word unused1 = 0; local
340 x64_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5);
347 seL4_Word unused1 = 0; local
353 x64_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5);
376 seL4_Word unused1 = 0; local
381 x64_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &val, &unused2, &unused3, &unused4);
400 seL4_Word unused1 = 0; local
405 x64_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4);
419 seL4_Word unused1 = 0; local
425 x64_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1,
443 seL4_Word unused1 = 0; local
459 seL4_Word unused1 = 0; local
473 seL4_Word unused1 = 0; local
502 seL4_Word unused1 = 0; local
515 seL4_Word unused1 = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 318 seL4_Word unused1 = 0; local
324 arm_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5);
331 seL4_Word unused1 = 0; local
337 arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5);
359 seL4_Word unused1 = 0; local
364 arm_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, &unused4);
375 seL4_Word unused1 = 0; local
381 arm_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5);
400 seL4_Word unused1 = 0; local
406 arm_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1,
415 seL4_Word unused1 = 0; local
429 seL4_Word unused1 = 0; local
458 seL4_Word unused1 = 0; local
471 seL4_Word unused1 = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 482 seL4_Word unused1 = 0; local
488 riscv_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3,
496 seL4_Word unused1 = 0; local
502 riscv_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3,
526 seL4_Word unused1 = 0; local
531 riscv_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2,
543 seL4_Word unused1 = 0; local
549 riscv_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3,
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/ |
| H A D | c_traps.c | 139 c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t unused5, syscall_t syscall) argument
|
| /seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/ |
| H A D | machine.h | 112 uint32_t unused1; /* 0x18 */ member in struct:core_regs
|