[disk/dev_ctl,driver] Rename disk_dev_ctl__dispatch()
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 9 Jan 2011 11:21:51 +0000 (06:21 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 9 Jan 2011 11:21:51 +0000 (06:21 -0500)
commit477299ffbe2bfd81348a9120bac85e64abfb539b
treeff7f76286a183389da7b34de1090d795b8ecfa49
parent50fd4a6456f7d695477dd6a197a2c8f761fa6d59
[disk/dev_ctl,driver] Rename disk_dev_ctl__dispatch()

To WvlDiskDevCtl().  It was also made independent of
WV_S_DEV_T, so that meant adding a WvDiskDevCtl()
function to the WinVBlock driver, in order for its
IRP major function handler tables to have something to
work with.
src/aoe/driver.c
src/include/disk.h
src/include/driver.h
src/winvblock/disk/dev_ctl.c
src/winvblock/disk/disk.c
src/winvblock/driver.c
src/winvblock/filedisk/filedisk.c
src/winvblock/ramdisk/ramdisk.c