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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Daddrmap.c97 static jmp_buf addr_env; variable
252 longjmp(addr_env,0);
344 (void) setjmp(addr_env);

Completed in 77 milliseconds