Searched refs:delayed_exit (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dsepia.h1212 { if (VM_FLAGS & WAS_EXIT) delayed_exit(); else VM_FLAGS &= ~NO_EXIT; }
H A Demu_c_env.c495 delayed_exit(void)
494 delayed_exit(void) function

Completed in 37 milliseconds