Searched refs:get_C_short (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | arb.h | 65 extern short get_C_short(TaskData *taskData, PolyWord);
|
H A D | xwindows.cpp | 1125 inline short GetPointX(TaskData *taskData, PolyWord p) { return get_C_short(taskData, Point(p)->x); } 1126 inline short GetPointY(TaskData *taskData, PolyWord p) { return get_C_short(taskData, Point(p)->y); } 1167 inline short GetRectTop(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->top); } 1168 inline short GetRectLeft(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->left); } 1169 inline short GetRectRight(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->right); } 1170 inline short GetRectBottom(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->bottom); } 1250 inline short GetArcA1(TaskData *taskData, PolyWord A) { return get_C_short(taskData, Arc(A)->a1); } 1251 inline short GetArcA2(TaskData *taskData, PolyWord A) { return get_C_short(taskData, Arc(A)->a2); } 1454 case GCLineWidth: v.line_width = get_C_short (taskData, P); break; 1460 case GCTileStipXOrigin: v.ts_x_origin = get_C_short (taskDat [all...] |
H A D | arb.cpp | 230 short get_C_short(TaskData *taskData, PolyWord number) function
|
Completed in 52 milliseconds