11 #include <soc/ramstage.h>
static efi_wrapper_entry_t load_reference_code(void)
static void ABI_X86 send_to_console(unsigned char b)
void baytrail_run_reference_code(void)
#define printk(level,...)
void console_tx_byte(unsigned char byte)
int ABI_X86(* efi_wrapper_entry_t)(struct efi_wrapper_params *)
unsigned long tsc_freq_mhz(void)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
static void * prog_entry(const struct prog *prog)
#define PROG_INIT(type_, name_)
int rmodule_stage_load(struct rmod_stage_load *rsl)
static void stage_cache_load_stage(int stage_id, struct prog *stage)
static int resume_from_stage_cache(void)
static void stage_cache_add(int stage_id, const struct prog *stage)
unsigned int tsc_ticks_per_microsecond