HomeIsabelle/Phabricator

FFI_SYSV needs to be included in X86/32 since it is the default API.

Description

FFI_SYSV needs to be included in X86/32 since it is the default API.

Details

Provenance
dcjmAuthored on May 5 2019, 8:57 PM
Parents
rPOLYML184ae2dc3b21: Implement foreign callback functions for X86/32.
Branches
Unknown
Tags
Unknown