-virt_mem_types.cmo: virt_mem_utils.cmo virt_mem_mmap.cmi
-virt_mem_types.cmx: virt_mem_utils.cmx virt_mem_mmap.cmx
+virt_mem_net_devices.cmo: virt_mem_utils.cmo virt_mem_types.cmi \
+ virt_mem_mmap.cmi virt_mem_gettext.cmo kernel_net_device.cmi \
+ kernel_net.cmi virt_mem_net_devices.cmi
+virt_mem_net_devices.cmx: virt_mem_utils.cmx virt_mem_types.cmx \
+ virt_mem_mmap.cmx virt_mem_gettext.cmx kernel_net_device.cmx \
+ kernel_net.cmx virt_mem_net_devices.cmi
+virt_mem_tasks.cmo: virt_mem_utils.cmo virt_mem_types.cmi \
+ virt_mem_list_head.cmi virt_mem_gettext.cmo kernel_task_struct.cmi \
+ virt_mem_tasks.cmi
+virt_mem_tasks.cmx: virt_mem_utils.cmx virt_mem_types.cmx \
+ virt_mem_list_head.cmx virt_mem_gettext.cmx kernel_task_struct.cmx \
+ virt_mem_tasks.cmi
+virt_mem_types.cmo: virt_mem_utils.cmo virt_mem_mmap.cmi virt_mem_types.cmi
+virt_mem_types.cmx: virt_mem_utils.cmx virt_mem_mmap.cmx virt_mem_types.cmi
+virt_mem_utsname.cmo: virt_mem_utils.cmo virt_mem_types.cmi virt_mem_mmap.cmi \
+ virt_mem_gettext.cmo virt_mem_utsname.cmi
+virt_mem_utsname.cmx: virt_mem_utils.cmx virt_mem_types.cmx virt_mem_mmap.cmx \
+ virt_mem_gettext.cmx virt_mem_utsname.cmi