# To get header files that declare both the straight and __ functions,
# we generate two files and paste them together.
+$(objpfx)%_server.uh:; $(mig.uh)
$(objpfx)%.uh:; $(mig.uh)
define mig.uh
$(make-target-directory)
$(MIG) - /dev/null $(MIGFLAGS) \
-header $@ -server /dev/null -user /dev/null
endef
+$(objpfx)%_server.__h:; $(mig.__h)
$(objpfx)%.__h:; $(mig.__h)
define mig.__h
$(make-target-directory)
$(addprefix device/,device device_request)
# We produce mach_interface.h from mach.defs because there is already a
# <mach/mach.h> that is not the interface header (thanks CMU).
-mach_interface.defs = mach.defs
+mach/mach_interface.defs = mach/mach.defs
+# Similarly for memory_object_user vs. memory_object
+mach/memory_object_user.defs = mach/memory_object.defs
server-interfaces := mach/exc
tests := hello
# It is important that we do not use the wildcard function to expand