Searched refs:REINIT_SHARED (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dec_public.h187 * REINIT_SHARED heap was restored, some info must be updated
195 * after -r REINIT_SHARED|INIT_PROCESS|INIT_PRIVATE [|INIT_ENGINE]
197 * after restore/1 REINIT_SHARED|INIT_PRIVATE [|INIT_ENGINE]
205 #define REINIT_SHARED 16 macro
H A Dmain.c387 init_flags = REINIT_SHARED|INIT_ENGINE|INIT_PRIVATE;
390 init_flags = REINIT_SHARED|INIT_PRIVATE;
485 if (init_flags & (INIT_SHARED|REINIT_SHARED))
824 init_flags = REINIT_SHARED|INIT_ENGINE|INIT_PRIVATE;
827 init_flags = REINIT_SHARED|INIT_PRIVATE;
H A Dinit.c244 * REINIT_SHARED heap was restored, some info must be updated
252 * after -r REINIT_SHARED|INIT_PROCESS|INIT_PRIVATE [|INIT_ENGINE]
254 * after restore/1 REINIT_SHARED|INIT_PRIVATE [|INIT_ENGINE]
266 if (!(init_flags & (INIT_SHARED|REINIT_SHARED)))
H A Dio.c489 if ((ec_options.io_option != OWN_IO) && (flags & REINIT_SHARED))
510 if (flags & ((ec_options.io_option == OWN_IO) ? INIT_PRIVATE : INIT_SHARED|REINIT_SHARED))

Completed in 91 milliseconds