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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu_c_env.c280 _emul_trampoline(void)
302 * This is a wrapper round the emulator _emul_trampoline()
349 return _emul_trampoline();
279 _emul_trampoline(void) function

Completed in 25 milliseconds