diff options
Diffstat (limited to 'powerpc/CBuiltins.ml')
| -rw-r--r-- | powerpc/CBuiltins.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml index 060e2b7..8405c4f 100644 --- a/powerpc/CBuiltins.ml +++ b/powerpc/CBuiltins.ml @@ -18,7 +18,10 @@ open C let builtins = { - Builtins.typedefs = []; + Builtins.typedefs = [ + "__builtin_va_list", + TArray(TInt(IUInt, []), Some 3L, []) + ]; Builtins.functions = [ (* Integer arithmetic *) "__builtin_mulhw", @@ -84,3 +87,5 @@ let builtins = { (TVoid [], [], false) ] } + +let size_va_list = 12 |