Modify userspace to use device names [2/3]
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 15 Sep 2015 15:17:29 +0000 (11:17 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 28 Sep 2015 19:14:00 +0000 (15:14 -0400)
commit7fb6e21101138a9d6de0d71456a21570c0ae66a6
tree471e0d17e8b89d5cc61dea547843140e96f8775e
parent27b134e0c03875c6ca09b0c7030eee66539f1d4f
Modify userspace to use device names [2/3]

This involved changing any #device from #DC to #name.

Anything outside the repo that accesses #devices, such as the Go port,
personal ifconfig scripts, etc, will need to be updated.
17 files changed:
kern/kfs/bin/m
kern/kfs/bin/ps
kern/kfs/ifconfig
tests/alarm.c
tests/cs.c
tests/srv.c
tests/trandom.c
tests/vmm/virtioconsole.c
tests/vmm/virtiopiocons.c
tests/vmm/virtiostress.c
tests/vmm/vmmcp.c
tests/vmm/vmmcpkernel.c
tests/vmm/vmresume.c
tests/vmm/vmrunkernel.c
tests/vmm/vmrunkernelmmap.c
user/benchutil/alarm.c
user/benchutil/pvcalarm.c