src/include/cpu/intel/romstage.h

#ifndef _CPU_INTEL_ROMSTAGE_H
#define _CPU_INTEL_ROMSTAGE_H

#include <arch/cpu.h>

void mainboard_romstage_entry(unsigned long bist);

void platform_enter_postcar(void);

#endif /* _CPU_INTEL_ROMSTAGE_H */