share/machdeps/machdep-schema.yaml

share/machdeps/machdep_avr_16.yaml

share/machdeps/machdep_gcc_x86_16.yaml

share/machdeps/machdep_gcc_x86_32.yaml

share/machdeps/machdep_gcc_x86_64.yaml

share/machdeps/machdep_msvc_x86_64.yaml

share/machdeps/machdep_ppc_32.yaml

share/machdeps/machdep_x86_16.yaml

share/machdeps/machdep_x86_32.yaml

share/machdeps/machdep_x86_64.yaml

share/machdeps/make_machdep/limits_macros.c

share/machdeps/make_machdep/make_machdep.py

src/kernel_internals/runtime/machdep.ml

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/file.ml

tests/builtins/oracle/realloc_multiple.0.res.oracle

tests/builtins/oracle/realloc_multiple.1.res.oracle

tests/builtins/oracle/strnlen.res.oracle

tests/misc/custom_machdep.ml