Searched refs:extra (Results 1 - 25 of 41) sorted by relevance

12

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Ds_shiftRightJam64Extra.c45 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 Ds_shiftRightJam128Extra.c45 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 Ds_shortShiftRightJam64Extra.c45 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 Ds_shortShiftRightJam128Extra.c45 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 Df32_to_i64.c53 uint_fast64_t sig64, extra; local
80 extra = 0;
84 extra = sig64Extra.extra;
86 return softfloat_roundToI64( sign, sig64, extra, roundingMode, exact );
H A Df32_to_ui64.c53 uint_fast64_t sig64, extra; local
80 extra = 0;
84 extra = sig64Extra.extra;
86 return softfloat_roundToUI64( sign, sig64, extra, roundingMode, exact );
H A DprimitiveTypes.h46 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 Df128M_roundToInt.c78 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 Df64_to_i64.c73 sigExtra.extra = 0;
79 sign, sigExtra.v, sigExtra.extra, roundingMode, exact );
H A Df64_to_ui64.c73 sigExtra.extra = 0;
79 sign, sigExtra.v, sigExtra.extra, roundingMode, exact );
H A Ds_addMagsExtF80.c112 sigZExtra = sig64Extra.extra;
128 sigZExtra = sig64Extra.extra;
138 sigZExtra = sig64Extra.extra;
H A DextF80_to_i64.c84 sigExtra = sig64Extra.extra;
H A DextF80_to_ui64.c79 sigExtra = sig64Extra.extra;
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfinisher.c25 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 Duart.c39 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 Duart16550.c33 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 Duart16750.c35 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 Dfdt.c60 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 Dhtif.c122 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 Dfdt.h43 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 DCap.py82 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 Drun_ghci.sh11 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 Dis-valid-shell-script94 # --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 Dhash.py30 def hash_extend(current, extra):
31 return (current ^ extra) * 1000003
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Derror.c30 size_t extra = length - JSON_ERROR_SOURCE_LENGTH + 4; local
32 strcpy(error->source + 3, source + extra);

Completed in 223 milliseconds

12