Searched defs:desc (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/empty_script/
H A Dselftest.sml46 val desc = "failing Holmake with empty/non-producing scripts" value
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/
H A Dmachine.h153 invpcid_desc_t desc; local
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTactical.sml342 val (desc, t) = value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot_pp_print.sml780 val desc = if has_data then value
807 val desc = if has_data then "data_queue" else "queue"; value
832 val desc = if is_interval then value

Completed in 105 milliseconds