Searched defs:unused2 (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Dc_traps.c139 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/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h319 seL4_Word unused2 = 0; local
332 seL4_Word unused2 = 0; local
360 seL4_Word unused2 = 0; local
376 seL4_Word unused2 = 0; local
401 seL4_Word unused2 = 0; local
416 seL4_Word unused2 = 0; local
430 seL4_Word unused2 = 0; local
459 seL4_Word unused2 = 0; local
472 seL4_Word unused2 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h483 seL4_Word unused2 = 0; local
497 seL4_Word unused2 = 0; local
527 seL4_Word unused2 = 0; local
544 seL4_Word unused2 = 0; local
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h532 seL4_Word unused2 = 0; local
543 seL4_Word unused2 = 0; local
574 seL4_Word unused2 = 0; local
588 seL4_Word unused2 = 0; local
629 seL4_Word unused2 = 0; local
643 seL4_Word unused2 = 0; local
655 seL4_Word unused2 = 0; local
683 seL4_Word unused2 = 0; local
694 seL4_Word unused2 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h335 seL4_Word unused2 = 0; local
348 seL4_Word unused2 = 0; local
377 seL4_Word unused2 = 0; local
401 seL4_Word unused2 = 0; local
420 seL4_Word unused2 = 0; local
444 seL4_Word unused2 = 0; local
460 seL4_Word unused2 = 0; local
474 seL4_Word unused2 = 0; local
503 seL4_Word unused2 = 0; local
516 seL4_Word unused2 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/
H A Dmachine.h116 uint32_t unused2; /* 0x28 */ member in struct:core_regs

Completed in 94 milliseconds