[driver] Rename driver__dev_ext to WV_S_DEV_EXT
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 2 Jan 2011 05:31:16 +0000 (00:31 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 2 Jan 2011 05:31:26 +0000 (00:31 -0500)
commitd0c5535e95d36386cfaf3599cdb3edbe352b4d29
treebeb018498b941a47cc2e1636b02a6c31d99054aa
parent53331faa2c633f7e9c72093b6d418fe5d6eb7f28
[driver] Rename driver__dev_ext to WV_S_DEV_EXT
src/include/driver.h
src/winvblock/device.c
src/winvblock/disk/disk.c
src/winvblock/driver.c