[winvblock/driver] Rename dev_ext member to device
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Tue, 18 May 2010 14:42:23 +0000 (10:42 -0400)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Tue, 18 May 2010 14:42:53 +0000 (10:42 -0400)
commitca9d2991567c6ef9d846ccad0eb13c06e8a38d1b
treef6a815462668d48affb18b32bc6ff01c31d9f968
parent81ea249b7a177e6ef8ed86d4854c2cb55430d4ab
[winvblock/driver] Rename dev_ext member to device

Just cosmetic.  I am trying to hide the details of
Windows DEVICE_OBJECTs with their DeviceExtension.
src/aoe/driver.c
src/include/bus.h
src/include/disk.h
src/include/driver.h
src/winvblock/bus/dev_ctl.c
src/winvblock/bus/pnp.c
src/winvblock/disk/disk.c
src/winvblock/filedisk.c
src/winvblock/ramdisk/grub4dos.c
src/winvblock/ramdisk/memdisk.c
src/winvblock/ramdisk/ramdisk.c