Searched defs:unused0 (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h317 seL4_Word unused0 = 0; local
330 seL4_Word unused0 = 0; local
358 seL4_Word unused0 = 0; local
374 seL4_Word unused0 = 0; local
399 seL4_Word unused0 = 0; local
414 seL4_Word unused0 = 0; local
428 seL4_Word unused0 = 0; local
457 seL4_Word unused0 = 0; local
470 seL4_Word unused0 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h481 seL4_Word unused0 = 0; local
495 seL4_Word unused0 = 0; local
525 seL4_Word unused0 = 0; local
542 seL4_Word unused0 = 0; local
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h530 seL4_Word unused0 = 0; local
541 seL4_Word unused0 = 0; local
572 seL4_Word unused0 = 0; local
586 seL4_Word unused0 = 0; local
615 seL4_Word unused0 = 0; local
627 seL4_Word unused0 = 0; local
641 seL4_Word unused0 = 0; local
653 seL4_Word unused0 = 0; local
681 seL4_Word unused0 = 0; local
692 seL4_Word unused0 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h333 seL4_Word unused0 = 0; local
346 seL4_Word unused0 = 0; local
375 seL4_Word unused0 = 0; local
399 seL4_Word unused0 = 0; local
418 seL4_Word unused0 = 0; local
442 seL4_Word unused0 = 0; local
458 seL4_Word unused0 = 0; local
472 seL4_Word unused0 = 0; local
501 seL4_Word unused0 = 0; local
514 seL4_Word unused0 = 0; local
[all...]
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/
H A Dmachine.h107 uint32_t unused0; /* 0x04 */ member in struct:core_regs

Completed in 95 milliseconds