Searched defs:unused1 (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.h318 seL4_Word unused1 = 0; local
331 seL4_Word unused1 = 0; local
359 seL4_Word unused1 = 0; local
375 seL4_Word unused1 = 0; local
400 seL4_Word unused1 = 0; local
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 Dsyscalls.h482 seL4_Word unused1 = 0; local
496 seL4_Word unused1 = 0; local
526 seL4_Word unused1 = 0; local
543 seL4_Word unused1 = 0; local
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h531 seL4_Word unused1 = 0; local
542 seL4_Word unused1 = 0; local
573 seL4_Word unused1 = 0; local
587 seL4_Word unused1 = 0; local
616 seL4_Word unused1 = 0; local
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 Dsyscalls.h334 seL4_Word unused1 = 0; local
347 seL4_Word unused1 = 0; local
376 seL4_Word unused1 = 0; local
400 seL4_Word unused1 = 0; local
419 seL4_Word unused1 = 0; local
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/include/plat/bcm2837/plat/
H A Dmachine.h112 uint32_t unused1; /* 0x18 */ member in struct:core_regs

Completed in 88 milliseconds