Clean up freebsd_system.cc.
[gem5.git] / kern /
drwxr-xr-x   ..
drwxr-xr-x - freebsd
-rw-r--r-- 8064 kernel_stats.cc
-rw-r--r-- 5172 kernel_stats.hh
drwxr-xr-x - linux
-rw-r--r-- 2795 system_events.cc
-rw-r--r-- 2804 system_events.hh
drwxr-xr-x - tru64