/seL4-test-master/projects/musllibc/src/string/ |
H A D | index.c | 5 char *index(const char *s, int c) function
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 40 int index = info->untypedList[i].sizeBits; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4keyboard/src/ |
H A D | codes.c | 64 char sel4keyboard_code_to_char(int index) argument
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | benchmark.h | 30 seL4_Word index = 0; local
|
/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_sub1XM.c | 45 unsigned int index, lastIndex; local
|
H A D | s_add256M.c | 47 unsigned int index; local
|
H A D | s_approxRecip32_1.c | 47 int index; local
|
H A D | s_compare128M.c | 45 unsigned int index, lastIndex; local
|
H A D | s_compare96M.c | 45 unsigned int index, lastIndex; local
|
H A D | s_negXM.c | 45 unsigned int index, lastIndex; local
|
H A D | s_sub256M.c | 47 unsigned int index; local
|
H A D | s_addCarryM.c | 52 unsigned int index, lastIndex; local
|
H A D | s_addComplCarryM.c | 52 unsigned int index, lastIndex; local
|
H A D | s_addM.c | 51 unsigned int index, lastIndex; local
|
H A D | s_approxRecipSqrt32_1.c | 47 int index; local
|
H A D | s_shortShiftLeftM.c | 52 unsigned int index, lastIndex; local
|
H A D | s_shortShiftRightJamM.c | 52 unsigned int index, lastIndex; local
|
H A D | s_shortShiftRightM.c | 52 unsigned int index, lastIndex; local
|
H A D | s_subM.c | 51 unsigned int index, lastIndex; local
|
/seL4-test-master/kernel/include/arch/riscv/arch/model/ |
H A D | smp.h | 23 static inline cpu_id_t cpuIndexToID(word_t index) argument
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | if_indextoname.c | 9 char *if_indextoname(unsigned index, char *name) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | irq_combiner.h | 13 int index; member in struct:combiner_irq
|
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument
|
/seL4-test-master/kernel/src/plat/bcm2837/machine/ |
H A D | intc.c | 123 int index = normal_irq / 32; local
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | smp.h | 27 cpu_id_t index; member in struct:nodeInfo 48 cpu_id_t index; local
|