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

/seL4-l4v-master/seL4/libsel4/src/
H A Dsel4_bootinfo.c20 void seL4_InitBootInfo(seL4_BootInfo *bi) argument
/seL4-l4v-master/HOL4/src/bag/
H A DbagSyntax.sml88 val bi = Term.inst [alpha |-> bt] BAG_INSERT_tm value
/seL4-l4v-master/HOL4/examples/miller/ho_prover/
H A Dho_basicTools.sml72 val bi = dest_bv bvs b value

Completed in 45 milliseconds