2020-04-02 23:48:27 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
/* This file is part of the coreboot project. */
|
2016-10-07 12:58:17 +02:00
|
|
|
|
|
|
|
#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).
|
|
|
|
*
|
2019-12-06 20:25:56 +01:00
|
|
|
* When an Ada main() is in charge, GNAT emits the call to the initia-
|
2016-10-07 12:58:17 +02:00
|
|
|
* lizations automatically. When not, we have to call it explicitly.
|
|
|
|
*/
|
|
|
|
|
2019-03-06 01:53:33 +01:00
|
|
|
#if CONFIG(RAMSTAGE_ADA)
|
2016-10-07 12:58:17 +02:00
|
|
|
void ramstage_adainit(void);
|
|
|
|
#else
|
|
|
|
static inline void ramstage_adainit(void) {}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* _ADAINIT_H */
|