[PATCH 6/8] server: Notify client about freed object so that it may free associated kernel object.

[Jacek Caban]

Long term, we may consider making interface between server and device 
manager more generic so that it could be used for messages other than IRPs.

Signed-off-by: Jacek Caban 
---
  dlls/ntoskrnl.exe/ntoskrnl.c | 14 +++++++++++++-
  server/device.c              | 15 +++++++++++++++
  server/protocol.def          |  6 ++++++
  3 files changed, 34 insertions(+), 1 deletion(-)