HomeIsabelle/Phabricator

Convert 64-bit GAS to use RTS calls for traps.

Description

Convert 64-bit GAS to use RTS calls for traps.

Details

Provenance
dcjmAuthored on May 9 2019, 8:15 PM
Parents
rPOLYML74e0516db2a7: Modify assembly code for 32-bit GAS.
Branches
Unknown
Tags
Unknown