/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | s_shiftRightJam64Extra.c | 45 uint64_t a, uint64_t extra, uint_fast32_t dist ) 51 z.extra = a<<(-dist & 63); 54 z.extra = (dist == 64) ? a : (a != 0); 56 z.extra |= (extra != 0); 44 softfloat_shiftRightJam64Extra( uint64_t a, uint64_t extra, uint_fast32_t dist ) argument
|
H A D | s_shiftRightJam128Extra.c | 45 uint64_t a64, uint64_t a0, uint64_t extra, uint_fast32_t dist ) 54 z.extra = a0<<(u8NegDist & 63); 59 z.extra = a0; 61 extra |= a0; 64 z.extra = a64<<(u8NegDist & 63); 67 z.extra = (dist == 128) ? a64 : (a64 != 0); 71 z.extra |= (extra != 0); 44 softfloat_shiftRightJam128Extra( uint64_t a64, uint64_t a0, uint64_t extra, uint_fast32_t dist ) argument
|
H A D | s_shortShiftRightJam64Extra.c | 45 uint64_t a, uint64_t extra, uint_fast8_t dist ) 50 z.extra = a<<(-dist & 63) | (extra != 0); 44 softfloat_shortShiftRightJam64Extra( uint64_t a, uint64_t extra, uint_fast8_t dist ) argument
|
H A D | s_shortShiftRightJam128Extra.c | 45 uint64_t a64, uint64_t a0, uint64_t extra, uint_fast8_t dist ) 53 z.extra = a0<<(uNegDist & 63) | (extra != 0); 44 softfloat_shortShiftRightJam128Extra( uint64_t a64, uint64_t a0, uint64_t extra, uint_fast8_t dist ) argument
|
H A D | f32_to_i64.c | 53 uint_fast64_t sig64, extra; local 80 extra = 0; 84 extra = sig64Extra.extra; 86 return softfloat_roundToI64( sign, sig64, extra, roundingMode, exact );
|
H A D | f32_to_ui64.c | 53 uint_fast64_t sig64, extra; local 80 extra = 0; 84 extra = sig64Extra.extra; 86 return softfloat_roundToUI64( sign, sig64, extra, roundingMode, exact );
|
H A D | primitiveTypes.h | 46 struct uint64_extra { uint64_t extra, v; }; member in struct:uint64_extra 47 struct uint128_extra { uint64_t extra; struct uint128 v; }; member in struct:uint128_extra 50 struct uint64_extra { uint64_t v, extra; }; member in struct:uint64_extra 51 struct uint128_extra { struct uint128 v; uint64_t extra; }; member in struct:uint128_extra
|
H A D | f128M_roundToInt.c | 78 bool extra; local 153 extra = 0; 157 if ( wordA ) extra = 1; 168 if ( exact && (extra || (wordA & extrasMask)) ) { 173 && !extra && !(wordZ & extrasMask) 189 if ( extra || (wordA & extrasMask) ) {
|
H A D | f64_to_i64.c | 73 sigExtra.extra = 0; 79 sign, sigExtra.v, sigExtra.extra, roundingMode, exact );
|
H A D | f64_to_ui64.c | 73 sigExtra.extra = 0; 79 sign, sigExtra.v, sigExtra.extra, roundingMode, exact );
|
H A D | s_addMagsExtF80.c | 112 sigZExtra = sig64Extra.extra; 128 sigZExtra = sig64Extra.extra; 138 sigZExtra = sig64Extra.extra;
|
H A D | extF80_to_i64.c | 84 sigExtra = sig64Extra.extra;
|
H A D | extF80_to_ui64.c | 79 sigExtra = sig64Extra.extra;
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | finisher.c | 25 static void finisher_open(const struct fdt_scan_node *node, void *extra) argument 27 struct finisher_scan *scan = (struct finisher_scan *)extra; 31 static void finisher_prop(const struct fdt_scan_prop *prop, void *extra) argument 33 struct finisher_scan *scan = (struct finisher_scan *)extra; 41 static void finisher_done(const struct fdt_scan_node *node, void *extra) argument 43 struct finisher_scan *scan = (struct finisher_scan *)extra; 57 cb.extra = &scan;
|
H A D | uart.c | 39 static void uart_open(const struct fdt_scan_node *node, void *extra) argument 41 struct uart_scan *scan = (struct uart_scan *)extra; 45 static void uart_prop(const struct fdt_scan_prop *prop, void *extra) argument 47 struct uart_scan *scan = (struct uart_scan *)extra; 55 static void uart_done(const struct fdt_scan_node *node, void *extra) argument 57 struct uart_scan *scan = (struct uart_scan *)extra; 75 cb.extra = &scan;
|
H A D | uart16550.c | 33 static void uart16550_open(const struct fdt_scan_node *node, void *extra) argument 35 struct uart16550_scan *scan = (struct uart16550_scan *)extra; 39 static void uart16550_prop(const struct fdt_scan_prop *prop, void *extra) argument 41 struct uart16550_scan *scan = (struct uart16550_scan *)extra; 49 static void uart16550_done(const struct fdt_scan_node *node, void *extra) argument 51 struct uart16550_scan *scan = (struct uart16550_scan *)extra; 73 cb.extra = &scan;
|
H A D | uart16750.c | 35 static void uart16750_open(const struct fdt_scan_node *node, void *extra) argument 37 struct uart16750_scan *scan = (struct uart16750_scan *)extra; 41 static void uart16750_prop(const struct fdt_scan_prop *prop, void *extra) argument 43 struct uart16750_scan *scan = (struct uart16750_scan *)extra; 55 static void uart16750_done(const struct fdt_scan_node *node, void *extra) argument 57 struct uart16750_scan *scan = (struct uart16750_scan *)extra; 80 cb.extra = &scan;
|
H A D | fdt.c | 60 cb->prop(&prop, cb->extra); 65 if (!last && node && cb->done) cb->done(node, cb->extra); 68 if (cb->open) cb->open(&child, cb->extra); 72 if (cb->close && cb->close(&child, cb->extra) == -1) 78 if (!last && node && cb->done) cb->done(node, cb->extra); 82 if (!last && node && cb->done) cb->done(node, cb->extra); 155 static void mem_open(const struct fdt_scan_node *node, void *extra) argument 157 struct mem_scan *scan = (struct mem_scan *)extra; 161 static void mem_prop(const struct fdt_scan_prop *prop, void *extra) argument 163 struct mem_scan *scan = (struct mem_scan *)extra; 172 mem_done(const struct fdt_scan_node *node, void *extra) argument 220 hart_open(const struct fdt_scan_node *node, void *extra) argument 232 hart_prop(const struct fdt_scan_prop *prop, void *extra) argument 252 hart_done(const struct fdt_scan_node *node, void *extra) argument 272 hart_close(const struct fdt_scan_node *node, void *extra) argument 310 clint_open(const struct fdt_scan_node *node, void *extra) argument 318 clint_prop(const struct fdt_scan_prop *prop, void *extra) argument 331 clint_done(const struct fdt_scan_node *node, void *extra) argument 388 plic_open(const struct fdt_scan_node *node, void *extra) argument 396 plic_prop(const struct fdt_scan_prop *prop, void *extra) argument 416 plic_done(const struct fdt_scan_node *node, void *extra) argument 477 plic_redact(const struct fdt_scan_node *node, void *extra) argument 516 compat_open(const struct fdt_scan_node *node, void *extra) argument 522 compat_prop(const struct fdt_scan_prop *prop, void *extra) argument 530 compat_close(const struct fdt_scan_node *node, void *extra) argument 566 chosen_open(const struct fdt_scan_node *node, void *extra) argument 574 chosen_close(const struct fdt_scan_node *node, void *extra) argument 583 chosen_prop(const struct fdt_scan_prop *prop, void *extra) argument 625 hart_filter_open(const struct fdt_scan_node *node, void *extra) argument 634 hart_filter_prop(const struct fdt_scan_prop *prop, void *extra) argument 662 hart_filter_done(const struct fdt_scan_node *node, void *extra) argument 716 fdt_print_open(const struct fdt_scan_node *node, void *extra) argument 730 fdt_print_prop(const struct fdt_scan_prop *prop, void *extra) argument 773 fdt_print_done(const struct fdt_scan_node *node, void *extra) argument 778 fdt_print_close(const struct fdt_scan_node *node, void *extra) argument [all...] |
H A D | htif.c | 122 static void htif_open(const struct fdt_scan_node *node, void *extra) argument 124 struct htif_scan *scan = (struct htif_scan *)extra; 128 static void htif_prop(const struct fdt_scan_prop *prop, void *extra) argument 130 struct htif_scan *scan = (struct htif_scan *)extra; 136 static void htif_done(const struct fdt_scan_node *node, void *extra) argument 138 struct htif_scan *scan = (struct htif_scan *)extra; 153 cb.extra = &scan;
|
H A D | fdt.h | 43 void (*open)(const struct fdt_scan_node *node, void *extra); 44 void (*prop)(const struct fdt_scan_prop *prop, void *extra); 45 void (*done)(const struct fdt_scan_node *node, void *extra); // last property was seen 46 int (*close)(const struct fdt_scan_node *node, void *extra); // -1 => delete the node + children 47 void *extra; member in struct:fdt_cb
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Cap.py | 82 extra = [] 97 extra.append(''.join(rights)) 100 extra.append('uncached') 103 extra.append('mapping: (%s, %d)' % (self.mapping_container.name, self.mapping_slot)) 106 extra.append('badge: %d' % self.badge) 108 extra.append('guard: %s' % self.guard) 109 extra.append('guard_size: %s' % self.guard_size) 111 extra = [x for x in extra if x != ''] 114 (' (%s)' % ', '.join(extra)) i [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/ |
H A D | run_ghci.sh | 11 ghci-8.0.1 -i../ -i./build/ -package=extra -package=QuickCheck -Wno-partial-type-signatures -package-db=../.cabal-sandbox/x86_64-linux-ghc-8.0.1-packages.conf.d/ build/fsm.o fsm.hs
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | is-valid-shell-script | 94 # --extra prints out the offending line after the diagnostic. 95 if ! checkbashisms --force --posix --extra "$FILE"
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | hash.py | 30 def hash_extend(current, extra): 31 return (current ^ extra) * 1000003
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | error.c | 30 size_t extra = length - JSON_ERROR_SOURCE_LENGTH + 4; local 32 strcpy(error->source + 3, source + extra);
|