XEON_GEN3_REG_IMINT_STATUS
reg = intel_ntb_reg_read(8, XEON_GEN3_REG_IMINT_STATUS);
intel_ntb_reg_write(8, XEON_GEN3_REG_IMINT_STATUS, reg);
return (intel_ntb_reg_read(8, XEON_GEN3_REG_IMINT_STATUS));
intel_ntb_reg_write(4, XEON_GEN3_REG_IMINT_STATUS,
intel_ntb_reg_write(8, XEON_GEN3_REG_IMINT_STATUS,
intel_ntb_reg_read(8, XEON_GEN3_REG_IMINT_STATUS));