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

/seL4-l4v-10.1.1/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 DWord8.sml138 val radix = value
H A DInt.sml312 val radix = value
379 val radix = value
[all...]
H A DLargeWord.sml344 val radix = getRadix s value
352 val radix = getRadix s value
[all...]
H A DRealSignature.sml27 val radix : int value
H A DStringSignatures.sml159 datatype radix = BIN | OCT | DEC | HEX type
H A DReal.sml97 val radix : int = callRealToInt 11 zero value
H A DString.sml533 datatype radix = BIN | OCT | DEC | HEX type
/seL4-l4v-10.1.1/seL4/include/fastpath/
H A Dfastpath.h21 word_t radix, capGuard; local
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml61 val radix = FixedInt.toLarge radix value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DArbnumcore.sml43 val radix = fn StringCvt.HEX => "HEX" value
/seL4-l4v-10.1.1/seL4/include/object/
H A Dstructures.h119 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local
126 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local
133 word_t radix = cap_zombie_cap_get_capZombieBits(cap); local

Completed in 460 milliseconds