HomeIsabelle/Phabricator

Fix syntax of call instruction. Mac OS seems to be picky about it.

Description

Fix syntax of call instruction. Mac OS seems to be picky about it.

Details

Provenance
dcjmAuthored on Oct 29 2020, 9:37 AM
Parents
rPOLYMLe7324ea7a4f0: Replace call to X86TrapHandler by an indirect call through the "memory…
Branches
Unknown
Tags
Unknown