MSI_INT_STATUS_CLR
smi_write(MSI_INT_STATUS_CLR, IR_X_INT);
smi_write(MSI_INT_STATUS_CLR,
smi_write(MSI_INT_STATUS_CLR, int_stat);