diff options
Diffstat (limited to 'tf-psa-crypto/drivers/everest/include/everest/kremlin/internal/builtin.h')
| -rw-r--r-- | tf-psa-crypto/drivers/everest/include/everest/kremlin/internal/builtin.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tf-psa-crypto/drivers/everest/include/everest/kremlin/internal/builtin.h b/tf-psa-crypto/drivers/everest/include/everest/kremlin/internal/builtin.h new file mode 100644 index 0000000..219b266 --- /dev/null +++ b/tf-psa-crypto/drivers/everest/include/everest/kremlin/internal/builtin.h @@ -0,0 +1,16 @@ +/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved. + Licensed under the Apache 2.0 License. */ + +#ifndef __KREMLIN_BUILTIN_H +#define __KREMLIN_BUILTIN_H + +/* For alloca, when using KreMLin's -falloca */ +#if (defined(_WIN32) || defined(_WIN64)) +# include <malloc.h> +#endif + +/* If some globals need to be initialized before the main, then kremlin will + * generate and try to link last a function with this type: */ +void kremlinit_globals(void); + +#endif |