Searched defs:radix (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DInt32.sml66 val radix = value
H A DWord16.sml111 val radix = value
H A DWord32In64.sml119 val radix = value
H A DWord32InLargeWord64.sml116 val radix = value
H A DWord8.sml138 val radix = value
H A DInt.sml312 val radix = value
379 val radix = value
[all...]
H A DRealSignature.sml27 val radix : int value
H A DLargeWord.sml337 val radix = getRadix s value
345 val radix = getRadix s value
[all...]
H A DStringSignatures.sml159 datatype radix = BIN | OCT | DEC | HEX type
H A DReal.sml79 val radix : int = callRealToInt 11 () value
H A DReal32.sml52 val radix : int = callFloatToInt 30 () value
H A DString.sml533 datatype radix = BIN | OCT | DEC | HEX type
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml61 val radix = FixedInt.toLarge radix value
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DArbnumcore.sml43 val radix = fn StringCvt.HEX => "HEX" value
/seL4-l4v-master/seL4/include/fastpath/
H A Dfastpath.h15 word_t radix, capGuard; local
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c175 word_t radix = cap_cnode_cap_get_capCNodeRadix(cnode); local
296 word_t radix = cap_cnode_cap_get_capCNodeRadix(root); local
/seL4-l4v-master/seL4/include/object/
H A Dstructures.h136 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local
142 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local
148 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local

Completed in 82 milliseconds