Rename xmalloc() as malloc_or_panic(),
[pintos-anon] / src / devices / partition.c
2005-01-29 Ben PfaffStart work on partition support.