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

/seL4-l4v-master/HOL4/tools-poly/poly/
H A DHelp.sml250 fun display sought [] = raise Fail "Help.display" function
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DTYPETREESIG.sml89 val display: types * FixedInt.int * printTypeEnv -> pretty; value
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dmachine.h222 x86_cpu_identity_t display; member in struct:_cpu_identity
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp441 Display *display; /* C value */ member in class:X_Display_Object
4762 Display *display = DEREFDISPLAYHANDLE(dsHandle)->display; local
5692 Display *display; local
6162 Display *display; local
9372 XWindowsError(Display *display, XErrorEvent *error) argument
[all...]

Completed in 50 milliseconds