privateer_machine_check
extern void privateer_machine_check(unsigned long, unsigned long);
.machine_check = privateer_machine_check,