Searched defs:unused4 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/riscv/
H A Dc_traps.c160 c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t reply, syscall_t syscall) argument
/seL4-l4v-master/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h581 seL4_Word unused4 = 0; local
601 seL4_Word unused4 = 0; local
626 seL4_Word unused4 = 0; local
641 seL4_Word unused4 = 0; local
671 seL4_Word unused4 = 0; local
685 seL4_Word unused4 = 0; local
699 seL4_Word unused4 = 0; local
732 seL4_Word unused4 = 0; local
745 seL4_Word unused4 = 0; local
758 seL4_Word unused4 = 0; local
771 seL4_Word unused4 = 0; local
[all...]
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h585 seL4_Word unused4 = 0; local
605 seL4_Word unused4 = 0; local
631 seL4_Word unused4 = 0; local
653 seL4_Word unused4 = 0; local
671 seL4_Word unused4 = 0; local
693 seL4_Word unused4 = 0; local
708 seL4_Word unused4 = 0; local
721 seL4_Word unused4 = 0; local
748 seL4_Word unused4 = 0; local
761 seL4_Word unused4 = 0; local
775 seL4_Word unused4 = 0; local
788 seL4_Word unused4 = 0; local
[all...]
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h782 seL4_Word unused4 = 0; local
803 seL4_Word unused4 = 0; local
830 seL4_Word unused4 = 0; local
846 seL4_Word unused4 = 0; local
872 seL4_Word unused4 = 0; local
886 seL4_Word unused4 = 0; local
901 seL4_Word unused4 = 0; local
934 seL4_Word unused4 = 0; local
947 seL4_Word unused4 = 0; local
960 seL4_Word unused4 = 0; local
973 seL4_Word unused4 = 0; local
[all...]

Completed in 39 milliseconds