error0
void error0(void);
error0();
error0();
error0();
RETURN_ERROR(errno, error0);
error0:
uint_t error0, error1, error;
error0 = apic_reg_ops->apic_read(APIC_ERROR_STATUS);
error = error0 | error1;
psm_get_cpu_id(), error0, error1);