Fix type of sector_idx in inode_write_at().
[pintos-anon] / src / lib / user / debug.c
2005-06-19 Ben PfaffMake tests public. Rewrite most tests. Add tests.