Searched defs:bi (Results 1 - 3 of 3) sorted by last modified time

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

Completed in 62 milliseconds