70e206de2733ef46fded7306efc6e1be6be56b53
[pintos-anon] / src / TODO
1 * Stats should be per-file system, not per-disk.
2
3 * Use xmalloc(), xcalloc() everywhere appropriate.