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

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

Completed in 72 milliseconds