[PATCH 3/3] server: Use generic kernel object list to store client device file pointer.

[Jacek Caban]

Signed-off-by: Jacek Caban 
---
  dlls/ntoskrnl.exe/ntoskrnl.c |  3 +--
  server/device.c              | 30 +++++++++++++++++++-----------
  2 files changed, 20 insertions(+), 13 deletions(-)