/seL4-l4v-10.1.1/isabelle/lib/browser/awtUtilities/ |
H A D | MessageDialog.java | 23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/awtUtilities/ |
H A D | MessageDialog.java | 23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Heap.h | 29 static inline int parent(int i) { return i >> 1; } function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
H A D | capdl.c | 231 cte_t *parent = getMDBParent(&start[i]); local
|
/seL4-l4v-10.1.1/HOL4/tools-poly/ |
H A D | smart-configure.sml | 218 val (parent, probably_bin) = frontlast dirname value
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 252 cte_t *parent = getMDBParent(&start[i]); local
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | objecttype.c | 489 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument
|
H A D | cnode.c | 761 insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) argument
|
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | fdt.c | 60 const struct fdt_scan_node *parent; member in struct:fdt_scan_node
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | CommonControls.sml | 200 val (parent, childId, styleWord) = value 233 val (parent, childId, styleWord) = value
|
H A D | Window.sml | 381 val (parent, menu, styleWord) = WinBase.unpackWindowRelation(relation, style) value 414 val (parent, menu, styleWord) = value
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 452 static exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument 463 parent, local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 57 exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument 72 parent, local
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | TopLevelPolyML.sml | 959 fun parent () = function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2186 parent, slot);; local 2173 performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1720 ), parent, slot); local 1708 performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base) argument
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | dlmalloc.c | 1867 struct malloc_tree_chunk* parent; member in struct:malloc_tree_chunk [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 513 X_Window_Struct *parent; /* may be 0 */ member in class:X_Window_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 2246 Window root,parent,*children; local 3088 X_Window_Object *parent; member in struct:__anon106 3974 Window root,parent,*children; local 6238 CreatePopupShell( TaskData *taskData, PolyStringObject *s, Handle dsHandle, Widget parent, Handle list ) argument 6270 CreateXm( TaskData *taskData, Widget (*create)(Widget, String, ArgList, Cardinal), char *failed, Handle dsHandle, Widget parent, PolyStringObject *s, Handle list ) argument [all...] |