Searched defs:bit (Results 1 - 16 of 16) sorted by path
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | theories.tex | [all...] |
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
H A D | assemblerML.sml | 69 fun bit b n = (bits b b n = [true]); function [all...] |
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | arm_parserLib.sml | 462 fun bit i n = n div (2 pow i) mod 2 = 1; function [all...] |
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
H A D | arm_stepLib.sml | 2511 fun bit tm = if bitstringSyntax.dest_b tm then #"T" else #"F" function
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
H A D | BitsN.sig | 67 val bit: nbit * Nat.nat -> bool value
|
H A D | BitsN.sml | 85 fun bit (B (a, _), n) = function
|
H A D | Bitstring.sig | 40 val bit: bitstring * Nat.nat -> bool value
|
H A D | Bitstring.sml | 167 fun bit (a, n) = bits (n, n) a = [true] function
|
H A D | Ptree.sml | 13 fun bit (b, n) = IntInf.~>> (n, b) mod 2 = 1 function
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/ |
H A D | x64.sml | 1230 val bit = BitsN.bit(EA base,offset) value [all...] |
/seL4-l4v-10.1.1/HOL4/src/n-bit/ |
H A D | bitstringLib.sml | 37 fun bit n = function
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | parse_type.sml | 108 fun bit b arg = qtyop {Thy = "fcp", Tyop = if b then "bit1" else "bit0", function
|
/seL4-l4v-10.1.1/HOL4/src/patricia/ |
H A D | patriciaLib.sml | 47 fun bit b n = odd (div_2exp b n) function
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
H A D | gic_pl390.h | 158 int bit = ((irq & 0xf) * 2); local 166 int bit = IRQ_BIT(irq); local 175 int bit = IRQ_BIT(irq); local 184 int bit = IRQ_BIT(irq); local
|
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | vspace.tex | |
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | vcpu.c | 1009 clear_bit(word_t *bitmap, word_t bit) argument [all...] |
Completed in 171 milliseconds