Searched refs:get_C_short (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Darb.h65 extern short get_C_short(TaskData *taskData, PolyWord);
H A Dxwindows.cpp1125 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 Darb.cpp230 short get_C_short(TaskData *taskData, PolyWord number) function

Completed in 55 milliseconds