payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / include / adainit.h
blob4953d4476d01ba665a2d0389e1e71bf9fdde7bec
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #ifndef _ADAINIT_H
4 #define _ADAINIT_H
6 /**
7 * @file adainit.h
9 * Ada supports some complex constructs that result in code for runtime
10 * initialization. It's also possible to have explicit procedures for
11 * package level initialization (e.g. you can initialize huge arrays in
12 * a loop instead of cluttering the binary).
14 * When an Ada main() is in charge, GNAT emits the call to the initia-
15 * lizations automatically. When not, we have to call it explicitly.
18 #if CONFIG(RAMSTAGE_ADA)
19 void ramstage_adainit(void);
20 #else
21 static inline void ramstage_adainit(void) {}
22 #endif
24 #endif /* _ADAINIT_H */