dec_2100_a500_machine_check
platform.mcheck_handler = dec_2100_a500_machine_check;
static void dec_2100_a500_machine_check(unsigned long, struct trapframe *,