ACPI: Add acpigen_write_PTC()
[coreboot.git] / src / include / adainit.h
blob041ef677ad7b0e52c6cc7cd67be92f84268ca8a3
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(ROMSTAGE_ADA)
19 void romstage_adainit(void);
20 #else
21 static inline void romstage_adainit(void) {}
22 #endif
24 #if CONFIG(RAMSTAGE_ADA)
25 void ramstage_adainit(void);
26 #else
27 static inline void ramstage_adainit(void) {}
28 #endif
30 #endif /* _ADAINIT_H */