coreboot-kgpe-d16/src/include/adainit.h

36 lines
1.1 KiB
C

/*
* This file is part of the coreboot project.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; version 2 of the License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*/
#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 emmits the call to the initia-
* lizations automatically. When not, we have to call it explicitly.
*/
#if IS_ENABLED(CONFIG_RAMSTAGE_ADA)
void ramstage_adainit(void);
#else
static inline void ramstage_adainit(void) {}
#endif
#endif /* _ADAINIT_H */