12 #define CSE_WAIT_MAX_MS 1000
#define printk(level,...)
void mdelay(unsigned int msecs)
bool heci_cse_normal(void)
static int stopwatch_expired(struct stopwatch *sw)
static long stopwatch_duration_msecs(struct stopwatch *sw)
static void stopwatch_init_msecs_expire(struct stopwatch *sw, long ms)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_SPEW
BIOS_SPEW - Excessively verbose output.
void do_global_reset(void)
void cf9_reset_prepare(void)
void pmc_global_reset_enable(bool enable)