Searched refs:SIZEOF (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | polystring.cpp | 55 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
212 Handle next = alloc_and_save(mdTaskData, SIZEOF(ML_Cons_Cell));
248 Handle next = alloc_and_save(mdTaskData, SIZEOF(ML_Cons_Cell));
|
| H A D | run_time.cpp | 68 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
180 Handle exnHandle = alloc_and_save(taskData, SIZEOF(poly_exn));
285 next = alloc_and_save(taskData, SIZEOF(ML_Cons_Cell));
|
| H A D | xwindows.cpp | 261 #undef SIZEOF macro
290 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
679 Handle next = alloc_and_save(taskData, SIZEOF(ML_Cons_Cell));
702 Handle next = alloc_and_save(taskData, SIZEOF(ML_Cons_Cell));
727 Handle next = alloc_and_save(taskData, SIZEOF(ML_Cons_Cell));
1133 Handle pointHandle = alloc_and_save(taskData, SIZEOF(MLXPoint), F_MUTABLE_BIT);
1195 Handle rectHandle = alloc_and_save(taskData, SIZEOF(MLXRectangle), F_MUTABLE_BIT);
1306 Handle objectHandle = alloc_and_save(taskData, SIZEOF(X_Colormap_Object), F_MUTABLE_BIT);
1362 Handle objectHandle = alloc_and_save(taskData, SIZEOF(X_Visual_Object), F_MUTABLE_BIT);
1417 Handle objectHandle = alloc_and_save(taskData, SIZEOF(X_GC_Objec
[all...] |
| H A D | sighandler.cpp | 112 #define SIZEOF(x) (sizeof(x)/sizeof(word)) macro
|
| H A D | unix_specific.cpp | 141 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
628 Handle next = ALLOC(SIZEOF(ML_Cons_Cell));
1316 next = ALLOC(SIZEOF(ML_Cons_Cell));
|
| H A D | windows_specific.cpp | 82 #define SIZEOF(x) (sizeof(x)/sizeof(word)) macro
|
| H A D | network.cpp | 195 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
1846 ML_Cons_Cell *next = (ML_Cons_Cell*)alloc(taskData, SIZEOF(ML_Cons_Cell));
|
| H A D | processes.cpp | 149 #define SIZEOF(x) (sizeof(x)/sizeof(PolyWord)) macro
|
Completed in 79 milliseconds