[device] Introduce device__get function
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Wed, 8 Dec 2010 07:06:43 +0000 (02:06 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Wed, 8 Dec 2010 07:06:43 +0000 (02:06 -0500)
commit56a4d3266261a29af6feb00a04f590e23fda1395
tree65914d046fd78c688486e8fb58e135573106864a
parent48dffa5e78f540aaace4b9e48265c5b18b593691
[device] Introduce device__get function

Use this new device__get() to get a 'device' pointer from
a 'PDEVICE_OBJECT' instead of the old casting.  We still
need to change the casting used when _setting_ it, though.
src/include/device.h
src/winvblock/bus/bus.c
src/winvblock/debug.c
src/winvblock/device.c
src/winvblock/disk/pnp.c
src/winvblock/driver.c