- SET_MONITOR_FLAG("MonitorESI", monitor_esi, value);
- SET_MONITOR_FLAG("MonitorBackend", monitor_backend, value);
- SET_MONITOR_FLAG("MonitorFetch", monitor_fetch, value);
- SET_MONITOR_FLAG("MonitorHCB", monitor_hcb, value);
- SET_MONITOR_FLAG("MonitorSHM", monitor_shm, value);
+ SET_MONITOR_FLAG("MonitorESI" , monitor_esi , value);
+ SET_MONITOR_FLAG("MonitorBackend" , monitor_backend , value);
+ SET_MONITOR_FLAG("MonitorFetch" , monitor_fetch , value);
+ SET_MONITOR_FLAG("MonitorHCB" , monitor_hcb , value);
+ SET_MONITOR_FLAG("MonitorSHM" , monitor_shm , value);