/seL4-camkes-master/projects/seL4_projects_libs/libsel4keyboard/include/keyboard/ |
H A D | codes.h | 12 char sel4keyboard_code_to_char(int index);
|
/seL4-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/ |
H A D | at.hpp | 24 # define MSGPACK_PP_LIST_AT(list, index) MSGPACK_PP_LIST_FIRST(MSGPACK_PP_LIST_REST_N(index, list)) 26 # define MSGPACK_PP_LIST_AT(list, index) MSGPACK_PP_LIST_AT_I(list, index) 27 # define MSGPACK_PP_LIST_AT_I(list, index) MSGPACK_PP_LIST_FIRST(MSGPACK_PP_LIST_REST_N(index, list)) 33 # define MSGPACK_PP_LIST_AT_D(d, list, index) MSGPACK_PP_LIST_FIRST(MSGPACK_PP_LIST_REST_N_D(d, index, list)) 35 # define MSGPACK_PP_LIST_AT_D(d, list, index) MSGPACK_PP_LIST_AT_D_I(d, list, index) [all...] |
/seL4-camkes-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-camkes-master/projects/camkes-tool/docs/ |
H A D | Makefile | 19 default: index.html camkes-manual.pdf 21 index.html: index.md 25 camkes-manual.pdf: index.md imgs/echo.png 30 @echo " [CLEAN] index.html camkes-manual.pdf" 31 ${Q}rm -rf index.html camkes-manual.pdf
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | timing.h | 59 static int index; \ 61 for (index = 0; index < ARRAY_SIZE(libsel4camkes_timing_points); index++) { \ 62 if (!strcmp(libsel4camkes_timing_points[index], point)) { \ 66 assert(index < ARRAY_SIZE(libsel4camkes_timing_points)); \ 69 if (index == 0) { \ 73 if (libsel4camkes_timing_buffer_iteration * ARRAY_SIZE(libsel4camkes_timing_points) + index < TIMING_ENTRIES) { \ 74 libsel4camkes_timing_buffer[libsel4camkes_timing_buffer_iteration * ARRAY_SIZE(libsel4camkes_timing_points) + index] = sel4bench_get_cycle_count(); \
|
/seL4-camkes-master/projects/musllibc/src/string/ |
H A D | index.c | 5 char *index(const char *s, int c) function
|