cia_machine_check
extern void cia_machine_check(unsigned long vector, unsigned long la_ptr);
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,
.machine_check = cia_machine_check,