memory_object_reply.cli in device/ ?

[Gianluca Guida]

Hello,

What exactly is memory_object_reply.cli doing in the device/
directory? Wouldn't be more appropriate for it to stay in the vm/
directory?

Here's a simple changelog in case the answers to  my questions are
respectively "No Idea." and "Yes.".

2006-03-03  Gianluca Guida  <glguida@gmail.com>

       * device/memory_object_reply.cli: Moved to ...
       * vm/memory_object_reply.cli: ... here.
       * Makefile.in (vm-files): Add memory_object_reply.cli.

--- vanilla/gnumach//Makefile.in        2006-02-20 22:17:23.000000000 +0100
+++ gnumach--gianluca/Makefile.in       2006-03-03 04:19:55.000000000 +0100
@@ -142,7 +145,7 @@
 vm-names = debug.c external.c fault.c init.c kern.c map.c \
       object.c pageout.c resident.c user.c
 vm-files = $(vm-cfiles) memory_object_default.cli memory_object_user.cli \
-       memory_object.h pmap.h $(patsubst %,vm_%.h, \
+       memory_object_reply.cli memory_object.h pmap.h $(patsubst %,vm_%.h, \
       external fault kern map object page pageout user)


--
It was a type of people I did not know, I found them very strange and
they did not inspire confidence at all. Later I learned that I had been
introduced to electronic engineers.
                                                  E. W. Dijkstra