coreboot-kgpe-d16/src/include/adainit.h
Angel Pons 32859fccc6 src/include: Use SPDX for GPL-2.0-only files
Done with sed and God Lines. Only done for C-like code for now.

Change-Id: I2fa3bad88bb5b068baa1cfc6bbcddaabb09da1c5
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/40053
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
2020-04-05 17:45:17 +00:00

25 lines
703 B
C

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef _ADAINIT_H
#define _ADAINIT_H
/**
* @file adainit.h
*
* Ada supports some complex constructs that result in code for runtime
* initialization. It's also possible to have explicit procedures for
* package level initialization (e.g. you can initialize huge arrays in
* a loop instead of cluttering the binary).
*
* When an Ada main() is in charge, GNAT emits the call to the initia-
* lizations automatically. When not, we have to call it explicitly.
*/
#if CONFIG(RAMSTAGE_ADA)
void ramstage_adainit(void);
#else
static inline void ramstage_adainit(void) {}
#endif
#endif /* _ADAINIT_H */