Add code that used to be inline in MachineSchedInfo.h