MACHINE_ABI is a list of properties about the ABI used for MACHINE_ARCH.
It should be used in place of long conditionals on MACHINE_ARCH where
practical.
The following properties are indicated with one of the follow values:
Floating point ABI: soft-float, hard-float
Size of long (size_t, etc): long32, long64
Pointer type: ptr32, ptr64
Size of time_t: time32, time64
For example, i386 targets will be:
MACHINE_ARCH= hard-float long32 ptr62 time32
Obtained from: CheriBSD
Sponsored by: DARPA, AFRL