1 void unknown_setup(void);
2 void run_unknown_trigger(int socket, int cpu, struct mce *log);
3