Module Machdeps

module Machdeps: sig .. end
Some predefined Cil_types.mach which specifies machine-dependent data about C programs.

val x86_16 : Cil_types.mach
val gcc_x86_16 : Cil_types.mach
val x86_32 : Cil_types.mach
val gcc_x86_32 : Cil_types.mach
val x86_64 : Cil_types.mach
val gcc_x86_64 : Cil_types.mach
val ppc_32 : Cil_types.mach
val msvc_x86_64 : Cil_types.mach