/seL4-test-master/projects/sel4_projects_libs/libsel4keyboard/include/keyboard/ |
H A D | codes.h | 12 char sel4keyboard_code_to_char(int index);
|
/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_compare128M.c | 45 unsigned int index, lastIndex; local 48 index = indexWordHi( 4 ); 51 wordA = aPtr[index]; 52 wordB = bPtr[index]; 54 if ( index == lastIndex ) break; 55 index -= wordIncr;
|
H A D | s_compare96M.c | 45 unsigned int index, lastIndex; local 48 index = indexWordHi( 3 ); 51 wordA = aPtr[index]; 52 wordB = bPtr[index]; 54 if ( index == lastIndex ) break; 55 index -= wordIncr;
|
H A D | s_sub1XM.c | 45 unsigned int index, lastIndex; local 48 index = indexWordLo( size_words ); 51 wordA = zPtr[index]; 52 zPtr[index] = wordA - 1; 53 if ( wordA || (index == lastIndex) ) break; 54 index += wordIncr;
|
H A D | s_add256M.c | 47 unsigned int index; local 51 index = indexWordLo( 4 ); 54 wordA = aPtr[index]; 55 wordZ = wordA + bPtr[index] + carry; 56 zPtr[index] = wordZ; 57 if ( index == indexWordHi( 4 ) ) break; 59 index += wordIncr;
|
H A D | s_sub256M.c | 47 unsigned int index; local 51 index = indexWordLo( 4 ); 54 wordA = aPtr[index]; 55 wordB = bPtr[index]; 56 zPtr[index] = wordA - wordB - borrow; 57 if ( index == indexWordHi( 4 ) ) break; 59 index += wordIncr;
|
H A D | s_negXM.c | 45 unsigned int index, lastIndex; local 49 index = indexWordLo( size_words ); 53 word = ~zPtr[index] + carry; 54 zPtr[index] = word; 55 if ( index == lastIndex ) break; 56 index += wordIncr;
|
H A D | s_shortShiftLeftM.c | 52 unsigned int index, lastIndex; local 56 index = indexWordHi( size_words ); 58 partWordZ = aPtr[index]<<dist; 59 while ( index != lastIndex ) { 60 wordA = aPtr[index - wordIncr]; 61 zPtr[index] = partWordZ | wordA>>(uNegDist & 31); 62 index -= wordIncr; 65 zPtr[index] = partWordZ;
|
H A D | s_shortShiftRightJamM.c | 52 unsigned int index, lastIndex; local 56 index = indexWordLo( size_words ); 58 wordA = aPtr[index]; 61 while ( index != lastIndex ) { 62 wordA = aPtr[index + wordIncr]; 63 zPtr[index] = wordA<<(uNegDist & 31) | partWordZ; 64 index += wordIncr; 67 zPtr[index] = partWordZ;
|
H A D | s_shortShiftRightM.c | 52 unsigned int index, lastIndex; local 56 index = indexWordLo( size_words ); 58 partWordZ = aPtr[index]>>dist; 59 while ( index != lastIndex ) { 60 wordA = aPtr[index + wordIncr]; 61 zPtr[index] = wordA<<(uNegDist & 31) | partWordZ; 62 index += wordIncr; 65 zPtr[index] = partWordZ;
|
H A D | s_addCarryM.c | 52 unsigned int index, lastIndex; local 55 index = indexWordLo( size_words ); 58 wordA = aPtr[index]; 59 wordZ = wordA + bPtr[index] + carry; 60 zPtr[index] = wordZ; 62 if ( index == lastIndex ) break; 63 index += wordIncr;
|
H A D | s_addComplCarryM.c | 52 unsigned int index, lastIndex; local 55 index = indexWordLo( size_words ); 58 wordA = aPtr[index]; 59 wordZ = wordA + ~bPtr[index] + carry; 60 zPtr[index] = wordZ; 62 if ( index == lastIndex ) break; 63 index += wordIncr;
|
H A D | s_addM.c | 51 unsigned int index, lastIndex; local 55 index = indexWordLo( size_words ); 59 wordA = aPtr[index]; 60 wordZ = wordA + bPtr[index] + carry; 61 zPtr[index] = wordZ; 62 if ( index == lastIndex ) break; 64 index += wordIncr;
|
H A D | s_subM.c | 51 unsigned int index, lastIndex; local 55 index = indexWordLo( size_words ); 59 wordA = aPtr[index]; 60 wordB = bPtr[index]; 61 zPtr[index] = wordA - wordB - borrow; 62 if ( index == lastIndex ) break; 64 index += wordIncr;
|
H A D | s_remStepMBy32.c | 53 unsigned int index, lastIndex; local 58 index = indexWordLo( size_words ); 60 dwordProd = (uint64_t) bPtr[index] * q; 61 wordRem = remPtr[index]; 64 zPtr[index] = wordShiftedRem - wordProd; 65 if ( index != lastIndex ) { 70 index += wordIncr; 71 dwordProd = (uint64_t) bPtr[index] * q + (dwordProd>>32); 72 wordRem = remPtr[index]; 75 zPtr[index] [all...] |
H A D | s_approxRecip32_1.c | 47 int index; local 53 index = a>>27 & 0xF; 55 r0 = softfloat_approxRecip_1k0s[index] 56 - ((softfloat_approxRecip_1k1s[index] * (uint_fast32_t) eps)>>20);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | benchmark_track.h | 24 seL4_Word index = 0; local 35 while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) { 36 if (logBuffer[index].entry.path == Entry_Syscall) { 38 } else if (logBuffer[index].entry.path == Entry_Interrupt) { 40 } else if (logBuffer[index].entry.path == Entry_UserLevelFault) { 42 } else if (logBuffer[index].entry.path == Entry_VMFault) { 45 index++; 57 seL4_Word index = 0; local 69 while (logBuffer[index] 87 seL4_Word index = 0; local [all...] |
H A D | benchmark.h | 30 seL4_Word index = 0; local 33 while ((index * sizeof(benchmark_tracepoint_log_entry_t)) < logSize) { 34 if (logBuffer[index].duration != 0) { 35 fprintf(fd, "tracepoint id = %u \tduration = %u\n", logBuffer[index].id, logBuffer[index].duration); 37 index++; 40 fprintf(fd, "Dumped entire log, size %" PRIu32 "\n", index);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ |
H A D | service.h | 15 * @param[in] index The index at which to install the cap 19 int vmm_install_service(vm_t *vm, seL4_CPtr service, int index, uint32_t badge);
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | cache.c | 18 word_t index; local 20 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { 21 line = index << L1_CACHE_LINE_SIZE_BITS; 29 word_t index; local 47 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { 48 line = index << L1_CACHE_LINE_SIZE_BIT 80 word_t index; local 96 word_t index; local 138 word_t index; local 149 word_t index; local [all...] |
/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 50 : [result] "=r"(index) 51 : [offset] "i"(OFFSETOF(nodeInfo_t, index))); 52 return index;
|
/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/libsel4allocman/src/cspace/ |
H A D | single_level.c | 60 size_t index; local 74 index = BITS_PER_WORD - 1 - CLZL(cspace->bitmap[i]); 75 cspace->bitmap[i] &= ~BIT(index); 76 *slot = _cspace_single_level_make_path(cspace, cspace->config.first_slot + (i * BITS_PER_WORD + index)); 82 size_t index = slot - cspace->config.first_slot; local 83 /* make sure index is in range */ 84 if (index / BITS_PER_WORD >= cspace->bitmap_length) { 88 if ( (cspace->bitmap[index / BITS_PER_WORD] & BIT(index % BITS_PER_WORD)) == 0) { 92 cspace->bitmap[index / BITS_PER_WOR 99 size_t index = slot->capPtr - cspace->config.first_slot; local [all...] |
/seL4-test-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 92 word_t index; local 94 for (index = L2_LINE_INDEX(start); 95 index < L2_LINE_INDEX(end) + 1; 96 index++) { 97 line = index << L2_LINE_SIZE_BITS; 106 word_t index; local 108 for (index = L2_LINE_INDEX(start); 109 index < L2_LINE_INDEX(end) + 1; 110 index++) { 111 line = index << L2_LINE_SIZE_BIT 121 word_t index; local [all...] |
/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 25 * @param[in[ index The irq index withing this group 31 int vmm_register_combiner_irq(int group, int index, combiner_irq_handler_fn cb, void *priv);
|