HomeIsabelle/Phabricator

Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic…

Authored by dcjm on Jul 11 2020, 8:25 AM.

Description

Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic of old code.

Details

Committed
dcjmFri, Jul 24, 12:39 PM
Parents
rPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'
Branches
Unknown
Tags
Unknown