Searched defs:bits (Results 26 - 30 of 30) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drealconv.cpp1340 (d, e, bits) variable
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml1059 val (bits, ioDescs) = ListPair.unzip mergedDescs value
H A DPosix.sml1085 val bits = SysWord.orb(flags, toBits mode) value
1092 val bits = SysWord.orb(flags, toBits mode) value
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dvcpu.c175 print_bits(word_t bits) argument
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml1609 val bits = List.map bitstringSyntax.mk_b o value

Completed in 202 milliseconds

12