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 186 milliseconds