Source position: machotypes.pp line 41
type TMachOSubMachineTypeAarch64 = (
msmaarch64_all,
msmaarch64_v8,
msmaarch64_e
);