Searched defs:i4 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_decoderScript.sml83 and i4 n = ( n + 3 >< n ) ireg : word4 value
[all...]
H A Darm_parserLib.sml4537 val i4 = fromInt 4 value
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/
H A Darm_decoderScript.sml83 and i4 n = ( n + 3 >< n ) ireg : word4 value
[all...]

Completed in 62 milliseconds