Searched defs:handler (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddio.c | 95 bdd_file_hook(bddfilehandler handler) argument
[all...] |
| H A D | cppext.cxx | 202 bdd_strm_hook(bddstrmhandler handler) argument
526 fdd_strm_hook(bddstrmhandler handler) argument
[all...] |
| H A D | kernel.c | 429 bdd_error_hook(bddinthandler handler) argument
487 bdd_gbc_hook(bddgbchandler handler) argument
520 bdd_resize_hook(bdd2inthandler handler) argument
[all...] |
| H A D | reorder.c | 1883 bddinthandler bdd_reorder_hook(bddinthandler handler) argument
1916 bdd_blockfile_hook(bddfilehandler handler) argument
2077 bdd_reorder_probe(bddsizehandler handler) argument
[all...] |
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | sighandler.cpp | 121 PolyWord handler; // User-installed handler, TAGGED(DEFAULT_SIG) or TAGGED(IGNORE_SIG) member in struct:_sigData
[all...] |
| H A D | xwindows.cpp | 506 PolyWord handler; /* mutable? */ member in class:X_Window_Struct
569 PolyObject *handler; /* pointer into Poly heap; strong */ member in struct:T_List_struct
2190 CreateSimpleWindow( TaskData *taskData, Handle parent, int x, int y, unsigned w, unsigned h, unsigned borderWidth, unsigned border, unsigned background, Handle handler, Handle state ) argument
2215 CreateWindow( TaskData *taskData, Handle parent, int x, int y, unsigned w, unsigned h, unsigned borderWidth, unsigned depth, unsigned clas, Visual *visual, Handle handler, Handle state ) argument
4515 SetState(X_Window_Object *W, PolyWord handler, PolyWord state) argument
[all...] |
| /seL4-l4v-master/HOL4/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 19735 val handler = BitsN.bits(12,5) handler_offset value
19747 val handler = BitsN.bits(9,5) handler_offset value
19759 val handler = BitsN.bits(9,5) handler_offset value
[all...] |
Completed in 265 milliseconds