Searched defs:option (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DOption.sml42 datatype option = datatype option type
[all...]
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dept.c184 ept_cache_options_t option = vmAttr.words[0]; local
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex[all...]
/seL4-l4v-master/HOL4/src/1/
H A DTypeBasePure.sml1048 fun option f v = function
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml3581 (let val option = barrier_option s in value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sml3049 val option = value
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp3834 char program[500]; char option[500]; char *s; local
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml17180 val option = value
[all...]

Completed in 152 milliseconds