HomeIsabelle/Phabricator

Replace call to X86TrapHandler by an indirect call through the "memory…

Description

Replace call to X86TrapHandler by an indirect call through the "memory registers" vector. This avoids problems
that seem to occur with having an external reference in assembly code.

Details

Provenance
dcjmAuthored on Oct 29 2020, 9:19 AM
Parents
rPOLYMLcea4c79cc7ef: Change to commit e631964. Only want to leave one word unused but it must be…
Branches
Unknown
Tags
Unknown