HomeIsabelle/Phabricator

Save the C stack pointer when returning from a foreign call. Currently only 32…

Description

Save the C stack pointer when returning from a foreign call. Currently only 32-bit. This is necessary
because calling a call-back will overwrite the old value.

Details

Provenance
dcjmAuthored on May 9 2019, 2:58 PM
Parents
rPOLYML237e2f9c3e3c: Switch to using the compiled call-back code.
Branches
Unknown
Tags
Unknown