Searched refs:taskData (Results 1 - 25 of 41) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A D	arb.h	32 extern Handle Make_arbitrary_precision(TaskData *taskData, long); 33 extern Handle Make_arbitrary_precision(TaskData *taskData, unsigned long); 35 extern Handle Make_arbitrary_precision(TaskData *taskData, int); 36 extern Handle Make_arbitrary_precision(TaskData *taskData, unsigned); 39 extern Handle Make_arbitrary_precision(TaskData *taskData, long long); 40 extern Handle Make_arbitrary_precision(TaskData *taskData, unsigned long long); 43 extern Handle Make_arb_from_32bit_pair(TaskData *taskData, uint32_t hi, uint32_t lo); 44 extern Handle Make_arb_from_pair_scaled(TaskData *taskData, unsigned hi, unsigned lo, unsigned scale); 47 extern Handle Make_arb_from_Filetime(TaskData *taskData, const FILETIME &ft); 51 extern Handle mult_longc(TaskData *taskData, Handl [all...]
H A D	run_time.h	56 extern PolyObject *alloc(TaskData *taskData, POLYUNSIGNED words, unsigned flags = 0); 57 extern Handle alloc_and_save(TaskData *taskData, POLYUNSIGNED words, unsigned flags = 0); 59 extern Handle makeList(TaskData *taskData, int count, char *p, int size, void *arg, 63 NORETURNFN(extern void raiseException0WithLocation(TaskData *taskData, int id, const char *file, int line)); 64 #define raise_exception0(taskData, id) raiseException0WithLocation(taskData, id, __FILE__, __LINE__) 67 NORETURNFN(extern void raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line)); 68 #define raise_exception_string(taskData, id, str) raiseExceptionStringWithLocation(taskData, id, str, __FILE__, __LINE__) 71 NORETURNFN(extern void raiseExceptionFailWithLocation(TaskData *taskData, cons [all...]
H A D	poly_specific.cpp	71 #define SAVE(x) taskData->saveVec.push(x) 81 Handle poly_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 83 unsigned c = get_C_unsigned(taskData, DEREFWORDHANDLE(code)); 88 return SAVE(C_string_to_Poly(taskData, GIT_VERSION)); 101 return SAVE(C_string_to_Poly(taskData, version)); 106 return SAVE(C_string_to_Poly(taskData, poly_runtime_system_copyright)); 119 return SAVE(C_string_to_Poly(taskData, arch)); 123 return SAVE(C_string_to_Poly(taskData, RTSArgHelp())); 126 return SaveState(taskData, args); 129 return LoadState(taskData, fals 262 TaskData *taskData = TaskData::FindTaskForId(threadId); local 300 TaskData *taskData = TaskData::FindTaskForId(threadId); local 332 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	savestate.h	29 Handle SaveState(TaskData *taskData, Handle args); 32 Handle LoadState(TaskData *taskData, bool isHierarchy, Handle hFileName); 35 Handle ShowHierarchy(TaskData *taskData); 38 Handle RenameParent(TaskData *taskData, Handle args); 41 Handle ShowParent(TaskData *taskData, Handle hFileName); 44 Handle StoreModule(TaskData *taskData, Handle args); 47 Handle LoadModule(TaskData *taskData, Handle args);
H A D	sharedata.h	27 void ShareData(TaskData *taskData, Handle root);
H A D	objsize.h	31 extern Handle ObjSize(TaskData *taskData, Handle obj); 32 extern Handle ShowSize(TaskData *taskData, Handle obj); 33 extern Handle ObjProfile(TaskData *taskData, Handle obj);
H A D	basicio.cpp	161 #define SAVE(x) taskData->saveVec.push(x) 220 static bool isAvailable(TaskData *taskData, PIOSTRUCT strm) argument 236 else raise_syscall(taskData, "PeekNamedPipe error", err); 250 static bool isAvailable(TaskData *taskData, PIOSTRUCT strm) argument 266 raise_syscall(taskData, "select error", ERRORNUMBER); 336 Handle make_stream_entry(TaskData *taskData) argument 366 alloc_and_save(taskData, (sizeof(StreamToken) + sizeof(PolyWord) - 1)/sizeof(PolyWord), 420 static Handle open_file(TaskData *taskData, Handle filename, int mode, int access, int isPosix) 425 if (cFileName == 0) raise_syscall(taskData, "Insufficient memory", NOMEMORY); 426 Handle str_token = make_stream_entry(taskData); [all...]
H A D	xwindows.cpp	254 static void RaiseXWindows(TaskData *taskData, const char *s) __attribute__((noreturn)); 284 #define SAVE(x) taskData->saveVec.push(x) 286 #define Make_int(x) Make_arbitrary_precision(taskData, x) 287 #define Make_string(s) SAVE(C_string_to_Poly(taskData, s)) 288 #define Make_bool(b) Make_arbitrary_precision(taskData, (b) != 0) 307 static Handle FINISHED(TaskData *taskData, Handle P) argument 310 assert(taskData->saveVec.isValidHandle(P)); 318 static void RaiseXWindows(TaskData *taskData, const char *s) argument 322 raise_exception_string(taskData, EXC_XWindows,s); 341 RaiseXWindows(taskData, mes 345 RaiseRange(TaskData *taskData) argument 352 get_C_uchar(TaskData *taskData, PolyWord a) argument 666 CreateList4(TaskData *taskData, unsigned n, void *p, unsigned objSize, Handle (*f)(TaskData *, void *)) argument 691 CreateList4I(TaskData *taskData, unsigned n, void *p, unsigned objSize, Handle (*f)(TaskData *, void *, unsigned i)) argument 714 CreateList5(TaskData *taskData, POLYUNSIGNED n, void *p, POLYUNSIGNED objSize, Handle (*f)(TaskData *, void *, Handle), Handle a1) argument 739 GetList4(TaskData *taskData, PolyWord list, void *v, unsigned bytes, void (*get)(TaskData *, PolyWord, void*, unsigned)) argument 863 TaskData *taskData = processes->GetTaskDataForThread(); local 1125 GetPointX(TaskData *taskData, PolyWord p) argument 1126 GetPointY(TaskData *taskData, PolyWord p) argument 1128 GetOffsetX(TaskData *taskData, PolyWord p) argument 1129 GetOffsetY(TaskData *taskData, PolyWord p) argument 1131 CreatePoint(TaskData *taskData, int x, int y) argument 1144 GetPoints(TaskData *taskData, PolyWord p, void *v, unsigned) argument 1167 GetRectTop(TaskData *taskData, PolyWord R) argument 1168 GetRectLeft(TaskData *taskData, PolyWord R) argument 1169 GetRectRight(TaskData *taskData, PolyWord R) argument 1170 GetRectBottom(TaskData *taskData, PolyWord R) argument 1176 GetRectW(TaskData *taskData, PolyWord R) argument 1184 GetRectH(TaskData *taskData, PolyWord R) argument 1193 CreateRect(TaskData *taskData, int top, int left, int bottom, int right) argument 1210 GetRects(TaskData *taskData, PolyWord p, void *v, unsigned) argument 1219 CheckZeroRect(TaskData *taskData, PolyWord R) argument 1250 GetArcA1(TaskData *taskData, PolyWord A) argument 1251 GetArcA2(TaskData *taskData, PolyWord A) argument 1253 GetArcs(TaskData *taskData, PolyWord p, void *v, unsigned) argument 1278 GetColormap(TaskData *taskData, X_Object *P) argument 1291 EmptyColormap( TaskData *taskData, Handle dsHandle , Colormap id ) argument 1331 GetVisual(TaskData *taskData, X_Object *P) argument 1346 EmptyVisual( TaskData *taskData, Handle dsHandle, Visual *v ) argument 1393 GetGC(TaskData *taskData, X_Object *P) argument 1403 GetDefaultGC(TaskData *taskData, Handle dsHandle ) argument 1442 ChangeGC(TaskData *taskData, X_GC_Object *G, unsigned n, PolyWord P) argument 1492 CreateGC( TaskData *taskData, Handle dsHandle , Drawable w ) argument 1537 GetWindow(TaskData *taskData, X_Object *P) argument 1553 EmptyWindow( TaskData *taskData, Handle dsHandle, Window w ) argument 1623 GetPixmap(TaskData *taskData, X_Object *P) argument 1654 EmptyPixmap( TaskData *taskData, Handle dsHandle, Pixmap id ) argument 1695 GetDrawable(TaskData *taskData, X_Object *P) argument 1714 GetDS(TaskData *taskData, X_Object *P) argument 1741 GetDisplay(TaskData *taskData, X_Object *P) argument 1769 GetFont(TaskData *taskData, X_Object *P) argument 1783 EmptyFont( TaskData *taskData, Handle dsHandle, Font id, XFontStruct *fs ) argument 1837 GetCursor(TaskData *taskData, X_Object *P) argument 1851 EmptyCursor( TaskData *taskData, Handle dsHandle, Cursor id ) argument 1886 CreateFontCursor( TaskData *taskData, Handle dsHandle, unsigned shape ) argument 1896 CreateGlyphCursor( TaskData *taskData, Handle dsHandle, Font sf, Font mf, unsigned sc, unsigned mc, XColor *foreground, XColor *background ) argument 1911 CreatePixmapCursor( TaskData *taskData, Handle dsHandle, Pixmap source, Pixmap mask, XColor *foreground, XColor *background, unsigned x, unsigned y ) argument 1931 GetNWidget(TaskData *taskData, X_Object *P) argument 1942 GetWidget(TaskData *taskData, X_Object *P) argument 1957 GetRealizedWidget(TaskData *taskData, char *where, X_Object *P) argument 1988 WidgetObject(TaskData *taskData, X_Object *P) argument 1998 EmptyWidget( TaskData *taskData, Handle dsHandle, Widget id ) argument 2035 NewWidget( TaskData *taskData, Handle dsHandle, Widget id ) argument 2055 GetTextWidget(TaskData *taskData, char *funcname, X_Object *P) argument 2074 GetTextFieldWidget(TaskData *taskData, char *funcname, X_Object *P) argument 2089 GetListWidget(TaskData *taskData, char *funcname, X_Object *P) argument 2118 AddWindow( TaskData *taskData, Window W, Handle handlerHandle, Handle stateHandle, Handle parentHandle ) argument 2175 TaskData *taskData = processes->GetTaskDataForThread(); local 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 2245 TaskData *taskData = processes->GetTaskDataForThread(); local 2286 EmptyTrans(TaskData *taskData, XtTranslations table) argument 2302 GetTrans(TaskData *taskData, X_Object *P) argument 2311 EmptyAcc(TaskData *taskData, XtTranslations acc) argument 2328 GetAcc(TaskData *taskData, X_Object *P) argument 2343 GetXtGrabKind(TaskData *taskData, PolyWord P) argument 2380 GetStandardColormap(TaskData *taskData, PolyWord p, void *v, unsigned) argument 2398 CreateStandardColormap( TaskData *taskData, void *v, Handle dsHandle ) argument 2456 CreatePair(TaskData *taskData, Handle p1, Handle p2) argument 2488 CreateTriple(TaskData *taskData, Handle p1, Handle p2, Handle p3) argument 2538 GetXImage(TaskData *taskData, Display *d, PolyWord p) argument 2583 CreateImage(TaskData *taskData, XImage *image) argument 2612 GetImage( TaskData *taskData, Display *d, Drawable drawable, int x, int y, unsigned w, unsigned h, unsigned mask, int format ) argument 2632 SubImage( TaskData *taskData, XImage *image, int x, int y, unsigned w, unsigned h ) argument 2694 GetPixel(TaskData *taskData, XImage *image, int x, int y) argument 2861 GetKeyVector(TaskData *taskData, void *k, unsigned i) argument 2869 QueryKeymap(TaskData *taskData, Display *d) argument 3155 CreateEvent( TaskData *taskData, Handle dsHandle, XEvent *ev, Handle W ) argument 3664 LookupString(TaskData *taskData, Display *d, unsigned keycode, unsigned modifiers) argument 3682 GetScreenSaver(TaskData *taskData, Display *d) argument 3701 TranslateCoordinates( TaskData *taskData, Handle dsHandle, Window src, Window dst, int x, int y ) argument 3722 QueryBest( TaskData *taskData, int (*f)(Display*, Drawable, unsigned, unsigned, unsigned *, unsigned *), Display *d, Drawable drawable, unsigned width, unsigned height ) argument 3741 QueryPointer( TaskData *taskData, Handle dsHandle, Window w ) argument 3771 ReadBitmap( TaskData *taskData, Handle dsHandle, Drawable w, PolyStringObject *string ) argument 3809 WriteBitmapFile( TaskData *taskData, PolyStringObject *string, Display *d, Pixmap bitmap, unsigned w, unsigned h, int x, int y ) argument 3830 GetDefault(TaskData *taskData, Display *d, PolyStringObject *s1, PolyStringObject *s2) argument 3845 GetWindows(TaskData *taskData, PolyWord p, void *w, unsigned) argument 3851 GetSegments(TaskData *taskData, PolyWord pp, void *w, unsigned) argument 3861 GetChar2(TaskData *taskData, PolyWord p, void *v, unsigned) argument 3878 GetText(TaskData *taskData, PolyWord p, void *w, unsigned) argument 3889 GetText16(TaskData *taskData, PolyWord p, void *v, unsigned) argument 3906 SetClipRectangles( TaskData *taskData, Display *d, GC gc, int x, int y, Handle list, unsigned order ) argument 3932 GetUChars(TaskData *taskData, PolyWord p, void *u, unsigned) argument 3937 SetDashes( TaskData *taskData, Display *d, GC gc, unsigned offset, Handle list ) argument 3957 CreateDrawable( TaskData *taskData, void *p, Handle dsHandle ) argument 3967 QueryTree( TaskData *taskData, Handle dsHandle, Window w ) argument 3991 RestackWindows(TaskData *taskData, Handle list ) argument 4005 GetGeometry( TaskData *taskData, Handle dsHandle, Drawable w ) argument 4034 GetWindowAttributes( TaskData *taskData, Handle dsHandle, Drawable w ) argument 4075 ChangeWindowAttributes( TaskData *taskData, X_Window_Object *W, unsigned n, PolyWord P ) argument 4130 ConfigureWindow( TaskData *taskData, Display *d, Window w, PolyWord tup ) argument 4176 CreateXColor(TaskData *taskData, XColor *x) argument 4193 CreateXColorF(TaskData *taskData, void *p) argument 4201 GetXColor(TaskData *taskData, PolyWord p, void *v, unsigned) argument 4215 GetXColor1(TaskData *taskData, PolyWord P) argument 4221 GetXColor2(TaskData *taskData, PolyWord P) argument 4227 AllocColor(TaskData *taskData, Display *d, Colormap cmap, XColor *x) argument 4236 CreateUnsigned(TaskData *taskData, void *q) argument 4242 CreateUnsignedLong(TaskData *taskData, void *p) argument 4247 AllocColorCells( TaskData *taskData, Display *d, Colormap cmap, unsigned contig, unsigned nplanes, unsigned ncolors ) argument 4274 AllocColorPlanes( TaskData *taskData, Display *d, Colormap cmap, unsigned contig, unsigned ncolors, unsigned nreds, unsigned ngreens, unsigned nblues ) argument 4313 AllocNamedColor(TaskData *taskData, Display *d, Colormap cmap, PolyStringObject *string) argument 4332 LookupColor(TaskData *taskData, Display *d, Colormap cmap, PolyStringObject *string) argument 4351 ParseColor(TaskData *taskData, Display *d, Colormap cmap, PolyStringObject *string) argument 4368 QueryColor(TaskData *taskData, Display *d, Colormap cmap, unsigned pixel) argument 4381 GetXPixel(TaskData *taskData, PolyWord p, void *v, unsigned) argument 4388 QueryColors(TaskData *taskData, Display *d, Colormap cmap, Handle list) argument 4420 StoreColors(TaskData *taskData, Display *d, Colormap cmap, Handle list) argument 4430 GetUnsigned(TaskData *taskData, PolyWord p, void *v, unsigned) argument 4436 GetUnsignedLong(TaskData *taskData, PolyWord p, void *v, unsigned) argument 4443 FreeColors( TaskData *taskData, Display *d, Colormap cmap, Handle list, unsigned planes ) argument 4460 CreateColormap( TaskData *taskData, void *p, Handle dsHandle ) argument 4470 ListInstalledColormaps( TaskData *taskData, Handle dsHandle, Drawable drawable ) argument 4493 GetTimeOfDay(TaskData *taskData) argument 4502 GetState(TaskData *taskData, X_Window_Object *P) argument 4545 InsertTimeout( TaskData *taskData, X_Window_Object *window_object, unsigned ms, PolyWord alpha, PolyWord handler ) argument 4638 InsertWidgetTimeout( TaskData *taskData, X_Widget_Object *widget_object, unsigned ms, PolyWord alpha, PolyWord handler ) argument 4705 process_may_block(TaskData *taskData, int fd) argument 4731 NextEvent(TaskData *taskData, Handle dsHandle ) argument 4884 GetInputFocus(TaskData *taskData, Handle dsHandle ) argument 4958 InternAtom( TaskData *taskData, Display *d, PolyStringObject *string, Bool only_if_exists ) argument 4973 GetAtomName(TaskData *taskData, Display *d, unsigned atom) argument 4999 CreateCharStruct(TaskData *taskData, void *v) argument 5034 CreateFontStruct( TaskData *taskData, void *v, Handle dsHandle ) argument 5067 GetFS(TaskData *taskData, X_Font_Object *P) argument 5079 GetFontStruct(TaskData *taskData,PolyWord p) argument 5085 CreateString(TaskData *taskData, void *s) argument 5090 GetFontPath(TaskData *taskData, Display *d) argument 5113 SetFontPath(TaskData *taskData, Display *d, Handle list) argument 5129 ListFonts(TaskData *taskData,Display *d, PolyStringObject *string, unsigned maxnames) argument 5149 ListFontsWithInfo( TaskData *taskData, Handle dsHandle, PolyStringObject *string, unsigned maxnames ) argument 5178 LoadFont( TaskData *taskData, Handle dsHandle, PolyStringObject *string ) argument 5196 LoadQueryFont( TaskData *taskData, Handle dsHandle, PolyStringObject *string ) argument 5214 QueryFont( TaskData *taskData, Handle dsHandle, Font font ) argument 5230 TextExtents(TaskData *taskData, XFontStruct *fs, PolyStringObject *s) argument 5248 TextExtents16(TaskData *taskData, XFontStruct *fs, Handle list) argument 5271 TextWidth(TaskData *taskData, XFontStruct *fs, PolyStringObject *s) argument 5278 TextWidth16(TaskData *taskData, XFontStruct *fs, Handle list) argument 5288 GetTextProperty(TaskData *taskData, Display *d, Window w, unsigned property) argument 5309 GetXWMHints(TaskData *taskData, PolyWord p, void *v, unsigned) argument 5339 GetXWMSizeHints(TaskData *taskData, PolyWord p, void *v, unsigned) argument 5369 GetIconSize(TaskData *taskData, PolyWord p, void *v, unsigned) argument 5385 GetSigned(TaskData *taskData, PolyWord p, void *i, unsigned) argument 5390 GetPixmaps(TaskData *taskData, PolyWord pp, void *m, unsigned) argument 5396 GetColormaps(TaskData *taskData, PolyWord pp, void *v, unsigned) argument 5402 GetCursors(TaskData *taskData, PolyWord pp, void *c, unsigned) argument 5408 GetDrawables(TaskData *taskData, PolyWord pp, void *d, unsigned) argument 5414 GetFonts(TaskData *taskData, PolyWord pp, void *f, unsigned) argument 5420 GetVisualIds(TaskData *taskData, PolyWord pp, void *u, unsigned) argument 5426 SetProperty( TaskData *taskData, Display *d, Window w, unsigned property, unsigned target, Handle list, unsigned encoding ) argument 5498 GetWMHints( TaskData *taskData, Handle dsHandle, Window w ) argument 5530 GetWMSizeHints( TaskData *taskData, Display *d, Window w, unsigned property ) argument 5577 WMGeometry( TaskData *taskData, Handle dsHandle, PolyStringObject *user, PolyStringObject *def, unsigned borderWidth, PolyWord P ) argument 5606 CreateIconSize(TaskData *taskData, void *v) argument 5614 GetIconSizes(TaskData *taskData, Display *d, Window w) argument 5633 GetTransientForHint( TaskData *taskData, Handle dsHandle, Window w ) argument 5649 GetWMColormapWindows( TaskData *taskData, Handle dsHandle, Window parent ) argument 5674 GetRGBColormaps( TaskData *taskData, Handle dsHandle, Window w, unsigned property ) argument 5699 GetID(TaskData *taskData, X_Object *P) argument 5715 OpenDisplay(TaskData *taskData, PolyStringObject *string) argument 5855 GetXmString(TaskData *taskData, PolyWord w, void *v, unsigned ) argument 5864 GetXmStrings(TaskData *taskData, PolyWord list, ArgType *T) argument 5878 GetStrings(TaskData *taskData, PolyWord list, ArgType *T) argument 5899 GetITable(TaskData *taskData, PolyWord list, ArgType *T) argument 5913 GetUTable(TaskData *taskData, PolyWord list, ArgType *T) argument 5981 SetArgTypeP(TaskData *taskData, PolyWord fst, PolyWord snd, ArgType *T) argument 6021 SetArgType(TaskData *taskData, PolyWord p, void *v, unsigned) argument 6072 TaskData *taskData = processes->GetTaskDataForThread(); local 6085 SetCallbacks(TaskData *taskData, X_Widget_Object *W, PolyWord list, PolyWord initial) argument 6148 TaskData *taskData = processes->GetTaskDataForThread(); local 6158 AddEventhandler( TaskData *taskData, X_Widget_Object *W, EventMask EventM, Boolean nonmask, Handle p) argument 6174 AppInitialise( TaskData *taskData, PolyWord s1, PolyWord s2, PolyWord s3, Handle fallbackHead, Handle argHead ) argument 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 6304 SetValues(TaskData *taskData, Widget w, Handle list) argument 6346 GetArgType( TaskData *taskData, PolyWord p, ArgType *T, int i, Widget w ) argument 6390 CreateWidget(TaskData *taskData, void *p, Handle dsHandle ) argument 6395 CreateXmString(TaskData *taskData, void *t) argument 6409 CreateFontList( TaskData *taskData, Handle dsHandle, XmFontList F ) argument 6452 CreateUChar(TaskData *taskData, void *p) argument 6457 CreateArg(TaskData *taskData, void *v, Handle dsHandle ) argument 6494 GetValue( TaskData *taskData, Handle dsHandle, Widget w, PolyWord pair ) argument 6538 GetResource( TaskData *taskData, PolyWord pp, XtResource *R, int i, ArgType *T, ArgType *D, Widget w ) argument 6569 GetSubresources( TaskData *taskData, Handle dsHandle, Widget w, PolyStringObject *s1, PolyStringObject *s2, Handle list ) argument 6605 GetApplicationResources(TaskData *taskData, Handle dsHandle, Widget w, Handle list ) argument 6630 GetChild(TaskData *taskData, PolyWord p, void *v, unsigned) argument 6638 ManageChildren(TaskData *taskData, Handle list) argument 6648 UnmanageChildren(TaskData *taskData, Handle list) argument 6658 ParseTranslationTable(TaskData *taskData, PolyStringObject *s) argument 6671 CommandError(TaskData *taskData, Widget w, PolyWord s) argument 6679 FileSelectionDoSearch(TaskData *taskData, Widget w, PolyWord s) argument 6699 XmIsSomething(TaskData *taskData, unsigned is_code, Widget widget) argument 6778 WidgetAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget), X_Object *arg1 ) argument 6794 WidgetBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, Boolean), X_Object *arg1, PolyWord arg2 ) argument 6810 WidgetIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int), X_Object *arg1, PolyWord arg2 ) argument 6826 WidgetLongAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, long), X_Object *arg1, PolyWord arg2 ) argument 6842 WidgetXmstringAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument 6861 WidgetXmstringlistAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString *, int), X_Object *arg1, ML_Cons_Cell *arg2 ) argument 6882 WidgetIntBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument 6900 WidgetIntIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument 6918 WidgetXmstringBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument 6940 WidgetXmstringIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument 6960 WidgetXmstringlistIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString *, int, int), X_Object *arg1, ML_Cons_Cell *arg2, PolyWord arg3 ) argument 6982 int_ptr_to_arb(TaskData *taskData, void *p) argument 6988 WidgetToInt( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), int applyFunc(Widget), X_Object *arg1 ) argument 7003 WidgetToLong( TaskData *taskData, char *func_name, Widget getWidget(TaskData *taskData, char *, X_Object *), long applyFunc(Widget), X_Object *arg1 ) argument 7035 WidgetToBool( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget), X_Object *arg1 ) argument 7050 WidgetToString( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), char *applyFunc(Widget), X_Object *arg1 ) argument 7067 WidgetToIntlist( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget, int**, int *), X_Object *arg1 ) argument 7098 WidgetXmstringToIntlist( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget, XmString, int**, int *), X_Object *arg1, PolyWord arg2 ) argument 7132 WidgetXmstringToInt( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), int applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument 7154 WidgetXmstringToBool( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument 7209 TaskData *taskData = processes->GetTaskDataForThread(); local 7355 XWindows_c(TaskData *taskData, Handle params) argument 9568 TaskData *taskData = TaskData::FindTaskForId(threadId); local 9605 XWindows_c(TaskData *taskData, Handle ) argument 9615 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	unix_specific.cpp	142 #define SAVE(x) taskData->saveVec.push(x) 143 #define ALLOC(n) alloc_and_save(taskData, n) 376 static Handle waitForProcess(TaskData *taskData, Handle args); 377 static Handle makePasswordEntry(TaskData *taskData, struct passwd *pw); 378 static Handle makeGroupEntry(TaskData *taskData, struct group *grp); 379 static Handle getUname(TaskData *taskData); 380 static Handle getSysConf(TaskData *taskData, Handle args); 381 static Handle getTTYattrs(TaskData *taskData, Handle args); 382 static Handle setTTYattrs(TaskData *taskData, Handle args); 383 static Handle getStatInfo(TaskData *taskData, struc 395 OS_spec_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 1262 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1285 waitForProcess(TaskData *taskData, Handle args) argument 1343 makePasswordEntry(TaskData *taskData, struct passwd *pw) argument 1361 makeGroupEntry(TaskData *taskData, struct group *grp) argument 1381 makeStringPairList(TaskData *taskData, Handle &list, const char *s1, const char *s2) argument 1402 getUname(TaskData *taskData) argument 1420 getStatInfo(TaskData *taskData, struct stat *buf) argument 1463 getTTYattrs(TaskData *taskData, Handle args) argument 1503 setTTYattrs(TaskData *taskData, Handle args) argument 1539 lockCommand(TaskData *taskData, int cmd, Handle args) argument 2012 getSysConf(TaskData *taskData, Handle args) argument 2067 findPathVar(TaskData *taskData, PolyWord ps) argument [all...]
H A D	network.cpp	150 #define SAVE(x) taskData->saveVec.push(x) 151 #define ALLOC(n) alloc_and_save(taskData, n) 304 static Handle makeHostEntry(TaskData *taskData, struct hostent *host); 305 static Handle makeProtoEntry(TaskData *taskData, struct protoent *proto); 306 static Handle mkAftab(TaskData *taskData, void*, char *p); 307 static Handle mkSktab(TaskData *taskData, void*, char *p); 308 static Handle setSocketOption(TaskData *taskData, Handle args, int level, int opt); 309 static Handle getSocketOption(TaskData *taskData, Handle args, int level, int opt); 310 static Handle getSocketInt(TaskData *taskData, Handle args, int level, int opt); 311 static Handle selectCall(TaskData *taskData, Handl 394 Net_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 1186 mkAddr(TaskData *taskData, void *arg, char *p) argument 1200 makeHostEntry(TaskData *taskData, struct hostent *host) argument 1235 makeProtoEntry(TaskData *taskData, struct protoent *proto) argument 1259 makeServEntry(TaskData *taskData, struct servent *serv) argument 1287 mkAftab(TaskData *taskData, void *arg, char *p) argument 1300 mkSktab(TaskData *taskData, void *arg, char *p) argument 1314 setSocketOption(TaskData *taskData, Handle args, int level, int opt) argument 1326 getSocketOption(TaskData *taskData, Handle args, int level, int opt) argument 1339 getSocketInt(TaskData *taskData, Handle args, int level, int opt) argument 1352 getSelectResult(TaskData *taskData, Handle args, int offset, fd_set *pFds) argument 1381 selectCall(TaskData *taskData, Handle args, int blockType) argument 1483 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1507 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1526 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1545 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1563 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1582 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1601 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1619 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1654 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1673 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	run_time.cpp	67 #define SAVE(x) taskData->saveVec.push(x) 78 PolyObject *alloc(TaskData *taskData, POLYUNSIGNED data_words, unsigned flags) argument 84 taskData->addProfileCount(words); 86 PolyWord *foundSpace = processes->FindAllocationSpace(taskData, words, false); 109 Handle alloc_and_save(TaskData *taskData, POLYUNSIGNED size, unsigned flags) argument 112 return SAVE(alloc(taskData, size, flags)); 117 TaskData *taskData = TaskData::FindTaskForId(threadId); local 118 ASSERT(taskData != 0); 119 taskData->PreRTSCall(); 123 FullGC(taskData); 141 errorMsg(TaskData *taskData, int err) argument 165 make_exn(TaskData *taskData, int id, Handle arg, const char *fileName, int lineNo) argument 215 makeExceptionPacket(TaskData *taskData, int id) argument 223 raise_exception(TaskData *taskData, int id, Handle arg, const char *file, int line) argument 233 raiseException0WithLocation(TaskData *taskData, int id, const char *file, int line) argument 240 raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line) argument 248 raiseSycallWithLocation(TaskData *taskData, const char *errmsg, int err, const char *file, int line) argument 274 raiseExceptionFailWithLocation(TaskData *taskData, const char *str, const char *file, int line) argument 280 makeList(TaskData *taskData, int count, char *p, int size, void *arg, Handle (mkEntry)(TaskData *, void*, char*)) argument 304 CheckAndGrowStack(TaskData *taskData, POLYUNSIGNED minSize) argument 339 Make_fixed_precision(TaskData *taskData, int val) argument 346 Make_fixed_precision(TaskData *taskData, unsigned uval) argument 353 Make_fixed_precision(TaskData *taskData, long val) argument 360 Make_fixed_precision(TaskData *taskData, unsigned long uval) argument 368 Make_fixed_precision(TaskData *taskData, long long val) argument 375 Make_fixed_precision(TaskData *taskData, unsigned long long uval) argument 383 Make_sysword(TaskData *taskData, uintptr_t p) argument [all...]
H A D	processes.cpp	153 #define SAVE(x) taskData->saveVec.push(x) 201 virtual NORETURNFN(void ThreadExit(TaskData *taskData)); 205 virtual void ThreadPauseForIO(TaskData *taskData, Waiter *pWait); 212 virtual bool ForkFromRTS(TaskData *taskData, Handle proc, Handle arg); 215 Handle ForkThread(TaskData *taskData, Handle threadFunction, 218 Handle ThreadDispatch(TaskData *taskData, Handle args, Handle code); 220 virtual void ThreadUseMLMemory(TaskData *taskData); 221 virtual void ThreadReleaseMLMemory(TaskData *taskData); 226 void ThreadUseMLMemoryWithSchedLock(TaskData *taskData); 227 void ThreadReleaseMLMemoryWithSchedLock(TaskData *taskData); 348 ThreadAttrs(TaskData *taskData) argument 357 TaskData *taskData = TaskData::FindTaskForId(threadId); local 381 TaskData *taskData = TaskData::FindTaskForId(threadId); local 405 TaskData *taskData = TaskData::FindTaskForId(threadId); local 429 MutexBlock(TaskData *taskData, Handle hMutex) argument 477 MutexUnlock(TaskData *taskData, Handle hMutex) argument 498 TaskData *taskData = TaskData::FindTaskForId(threadId); local 519 TaskData *taskData = TaskData::FindTaskForId(threadId); local 546 WaitInfinite(TaskData *taskData, Handle hMutex) argument 581 WaitUntilTime(TaskData *taskData, Handle hMutex, Handle hWakeTime) argument 703 TaskData *taskData = TaskData::FindTaskForId(threadId.AsObjPtr()); local 743 TaskData *taskData = TaskData::FindTaskForId(threadId); local 770 ThreadDispatch(TaskData *taskData, Handle args, Handle code) argument 898 ThreadExit(TaskData *taskData) argument 930 ThreadUseMLMemory(TaskData *taskData) argument 938 ThreadReleaseMLMemory(TaskData *taskData) argument 950 ThreadUseMLMemoryWithSchedLock(TaskData *taskData) argument 969 ThreadReleaseMLMemoryWithSchedLock(TaskData *taskData) argument 984 MakeRootRequest(TaskData *taskData, MainThreadRequest *request) argument 1019 FindAllocationSpace(TaskData *taskData, POLYUNSIGNED words, bool alwaysInSeg) argument 1125 exitThread(TaskData *taskData) argument 1135 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1147 ThreadPauseForIO(TaskData *taskData, Waiter *pWait) argument 1255 TaskData *taskData = machineDependent->CreateTaskData(); local 1331 TaskData *taskData = (TaskData *)parameter; local 1355 TaskData *taskData = (TaskData *)parameter; local 1371 TaskData *taskData = (TaskData *)parameter; local 1409 TaskData *taskData = machineDependent->CreateTaskData(); local 1532 TaskData *taskData = *i; local 1575 TaskData *taskData = *j; local 1596 ForkThread(TaskData *taskData, Handle threadFunction, Handle args, PolyWord flags, PolyWord stacksize) argument 1697 ForkFromRTS(TaskData *taskData, Handle proc, Handle arg) argument 1711 TaskData *taskData = TaskData::FindTaskForId(threadId); local 1733 ProcessAsynchRequests(TaskData *taskData) argument 1798 TestSynchronousRequests(TaskData *taskData) argument 1834 TestAnyEvents(TaskData *taskData) argument 1874 TaskData *taskData = processes->GetTaskDataForThread(); local 2000 WaitForSignal(TaskData *taskData, PLock *sigLock) argument [all...]
H A D	polyffi.cpp	89 static Handle poly_ffi (TaskData *taskData, Handle args, Handle code); 176 static Handle mkAbitab(TaskData *taskData, void*, char *p); 179 static Handle toSysWord(TaskData *taskData, void *p) argument 181 return Make_sysword(taskData, (uintptr_t)p); 184 Handle poly_ffi(TaskData *taskData, Handle args, Handle code) argument 186 unsigned c = get_C_unsigned(taskData, code->Word()); 191 POLYUNSIGNED size = getPolyUnsigned(taskData, args->Word()); 192 return toSysWord(taskData, malloc(size)); 198 return taskData->saveVec.push(TAGGED(0)); 215 raise_exception_string(taskData, EXC_foreig 478 mkAbitab(TaskData *taskData, void *arg, char *p) argument 568 poly_ffi(TaskData *taskData, Handle args, Handle code) argument 578 TaskData *taskData = TaskData::FindTaskForId(threadId); local 635 TaskData *taskData = TaskData::FindTaskForId(threadId); local 657 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	windows_specific.cpp	81 #define SAVE(x) taskData->saveVec.push(x) 171 static Handle make_handle_entry(TaskData *taskData) argument 188 FullGC(taskData); 197 if (p == 0) raise_syscall(taskData, "Insufficient memory", ERROR_NOT_ENOUGH_MEMORY); 205 str_token = alloc_and_save(taskData, 1, F_BYTE_OBJ); 214 static Handle execute(TaskData *taskData, Handle pname); 215 static Handle simpleExecute(TaskData *taskData, Handle args); 216 static Handle openProcessHandle(TaskData *taskData, Handle args, BOOL fIsRead, BOOL fIsText); 217 static Handle openRegistryKey(TaskData *taskData, Handle args, HKEY hkParent); 218 static Handle createRegistryKey(TaskData *taskData, Handl 305 OS_spec_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 813 TaskData *taskData = TaskData::FindTaskForId(threadId); local 857 execute(TaskData *taskData, Handle args) argument 969 simpleExecute(TaskData *taskData, Handle args) argument 1034 openProcessHandle(TaskData *taskData, Handle args, BOOL fIsRead, BOOL fIsText) argument 1085 openRegistryKey(TaskData *taskData, Handle args, HKEY hkParent) argument 1111 createRegistryKey(TaskData *taskData, Handle args, HKEY hkParent) argument 1148 deleteRegistryKey(TaskData *taskData, Handle args, HKEY hkParent) argument 1164 deleteRegistryValue(TaskData *taskData, Handle args, HKEY hkParent) argument 1180 queryRegistryKey(TaskData *taskData, Handle args, HKEY hkey) argument 1240 setRegistryKey(TaskData *taskData, Handle args, HKEY hkey) argument 1272 enumerateRegistry(TaskData *taskData, Handle args, HKEY hkey, BOOL isKey) argument [all...]
H A D	timing.cpp	177 static Handle timing_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 179 unsigned c = get_C_unsigned(taskData, code->Word()); 183 return Make_arbitrary_precision(taskData, TICKS_PER_MICROSECOND); 189 return Make_arb_from_Filetime(taskData, ft); 193 raise_syscall(taskData, "gettimeofday failed", errno); 194 return Make_arb_from_pair_scaled(taskData, tv.tv_sec, tv.tv_usec, 1000000); 200 return Make_arbitrary_precision(taskData, 1601); 202 return Make_arbitrary_precision(taskData, 1970); 210 return Make_arbitrary_precision(taskData, 0); 224 getFileTimeFromArb(taskData, arg 430 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	arb.cpp	112 static Handle add_longc(TaskData *taskData, Handle,Handle); 113 static Handle sub_longc(TaskData *taskData, Handle,Handle); 114 static Handle quot_rem_c(TaskData *taskData, Handle,Handle,Handle); 115 static Handle or_longc(TaskData *taskData, Handle,Handle); 116 static Handle and_longc(TaskData *taskData, Handle,Handle); 117 static Handle xor_longc(TaskData *taskData, Handle,Handle); 118 static Handle neg_longc(TaskData *taskData, Handle); 120 static Handle gcd_arbitrary(TaskData *taskData, Handle,Handle); 121 static Handle lcm_arbitrary(TaskData *taskData, Handle,Handle); 163 POLYUNSIGNED getPolyUnsigned(TaskData *taskData, PolyWor argument 196 getPolySigned(TaskData *taskData, PolyWord number) argument 230 get_C_short(TaskData *taskData, PolyWord number) argument 241 get_C_ushort(TaskData *taskData, PolyWord number) argument 253 get_C_unsigned(TaskData *taskData, PolyWord number) argument 258 get_C_int(TaskData *taskData, PolyWord number) argument 265 get_C_unsigned(TaskData *taskData, PolyWord number) argument 274 get_C_int(TaskData *taskData, PolyWord number) argument 320 copy_long(TaskData *taskData, Handle x, POLYUNSIGNED lx) argument 334 make_canonical(TaskData *taskData, Handle x, int sign) argument [all...]
H A D	rtsentry.cpp	105 Handle creatEntryPointObject(TaskData *taskData, Handle entryH, bool isFuncPtr) argument 108 if ((const char *)entryName == 0) raise_syscall(taskData, "Insufficient memory", ENOMEM); 113 Handle refH = alloc_and_save(taskData, space, F_BYTE_OBJ|F_WEAK_BIT|F_MUTABLE_BIT|F_NO_OVERWRITE); 165 TaskData *taskData = TaskData::FindTaskForId(threadId); local 166 ASSERT(taskData != 0); 167 taskData->PreRTSCall(); 168 Handle reset = taskData->saveVec.mark(); 169 Handle pushedArg = taskData->saveVec.push(arg); 173 result = creatEntryPointObject(taskData, pushedArg, true /* Always functions */); 175 raise_fail(taskData, "entr [all...]
H A D	os_specific.h	28 extern Handle OS_spec_dispatch_c(TaskData *taskData, Handle args, Handle code);
H A D	xwindows.h	32 extern Handle XWindows_c(TaskData *taskData, Handle params);
H A D	gc.h	33 extern void FullGC(TaskData *taskData); 35 extern bool QuickGC(TaskData *taskData, POLYUNSIGNED words_needed);
H A D	profiling.h	46 extern void handleProfileTrap(TaskData *taskData, SIGNALCONTEXT *context); 47 extern void add_count(TaskData *taskData, POLYCODEPTR pc,POLYUNSIGNED incr);
H A D	process_env.cpp	554 TaskData *taskData = TaskData::FindTaskForId(threadId); local 555 ASSERT(taskData != 0); 556 taskData->PreRTSCall(); 557 Handle reset = taskData->saveVec.mark(); 558 Handle pushedCode = taskData->saveVec.push(code); 559 Handle pushedArg = taskData->saveVec.push(arg); 563 result = process_env_dispatch_c(taskData, pushedArg, pushedCode); 566 processes->ThreadExit(taskData); // May test for kill 570 taskData->saveVec.reset(reset); // Ensure the save vec is reset 571 taskData 579 TaskData *taskData = TaskData::FindTaskForId(threadId); local 592 TaskData *taskData = TaskData::FindTaskForId(threadId); local 602 TaskData *taskData = TaskData::FindTaskForId(threadId); local 632 TaskData *taskData = TaskData::FindTaskForId(threadId); local 652 TaskData *taskData = TaskData::FindTaskForId(threadId); local 701 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	sighandler.cpp	122 #define SAVE(x) taskData->saveVec.push(x) 238 static Handle waitForSignal(TaskData *taskData) argument 242 processes->ProcessAsynchRequests(taskData); // Check for kill. 254 Handle pair = alloc_and_save(taskData, 2); 275 if (! processes->WaitForSignal(taskData, &sigLock)) 276 raise_exception_string(taskData, EXC_Fail, "Only one thread may wait for signals"); 282 TaskData *taskData = TaskData::FindTaskForId(threadId); local 283 ASSERT(taskData != 0); 284 taskData->PreRTSCall(); 285 Handle reset = taskData 337 TaskData *taskData = TaskData::FindTaskForId(threadId); local 359 initThreadSignals(TaskData *taskData) argument [all...]
H A D	profiling.cpp	129 Handle extractAsList(TaskData *taskData); 179 void add_count(TaskData *taskData, POLYCODEPTR fpc, POLYUNSIGNED incr) argument 321 Handle ProfileRequest::extractAsList(TaskData *taskData) argument 323 Handle saved = taskData->saveVec.mark(); 324 Handle list = taskData->saveVec.push(ListNull); 328 Handle pair = alloc_and_save(taskData, 2); 329 Handle countValue = Make_arbitrary_precision(taskData, p->count); 332 Handle next = alloc_and_save(taskData, sizeof(ML_Cons_Cell) / sizeof(PolyWord)); 336 taskData->saveVec.reset(saved); 337 list = taskData 343 handleProfileTrap(TaskData *taskData, SIGNALCONTEXT *context) argument 412 profilerc(TaskData *taskData, Handle mode_handle) argument 451 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]
H A D	objsize.cpp	342 Handle ObjSize(TaskData *taskData, Handle obj) argument 346 return Make_arbitrary_precision(taskData, process.total_length); 349 Handle ShowSize(TaskData *taskData, Handle obj) argument 354 return Make_arbitrary_precision(taskData, process.total_length); 373 TaskData *taskData = TaskData::FindTaskForId(threadId); local 374 ASSERT(taskData != 0); 375 taskData->PreRTSCall(); 379 Handle result = Make_arbitrary_precision(taskData, process.total_length); 381 taskData->PostRTSCall(); 387 TaskData *taskData local 402 TaskData *taskData = TaskData::FindTaskForId(threadId); local [all...]

Completed in 182 milliseconds

12

Indexes created Thu Jun 27 20:29:42 MDT 2024