diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:13:24 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:13:24 +0100 |
| commit | 4274a63b70fa77078dce527af958d5f21b949fbe (patch) | |
| tree | 868bc14c6cec6a28e173e04bce3a2f2214e0fe42 /runtime | |
| parent | e4da4f2eca5213a6c1b64a64d8e25384a4ec2fec (diff) | |
| parent | 6c667fb613a4b646faec36b029242ab8138da433 (diff) | |
| download | compcert-kvx-4274a63b70fa77078dce527af958d5f21b949fbe.tar.gz compcert-kvx-4274a63b70fa77078dce527af958d5f21b949fbe.zip | |
Merge branch 'mppa-work' into mppa-cse2
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/mppa_k1c/vararg.s (renamed from runtime/mppa_k1c/vararg.S) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.s index 9e23e0b3..65c1eab8 100644 --- a/runtime/mppa_k1c/vararg.S +++ b/runtime/mppa_k1c/vararg.s @@ -1,7 +1,7 @@ -// typedef void * va_list; -// unsigned int __compcert_va_int32(va_list * ap); -// unsigned long long __compcert_va_int64(va_list * ap); +# typedef void * va_list; +# unsigned int __compcert_va_int32(va_list * ap); +# unsigned long long __compcert_va_int64(va_list * ap); .text .balign 2 |