+kernel_in_device.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_in_device.cmi
+kernel_in_device.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_in_device.cmi
+kernel_inet6_dev.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_inet6_dev.cmi
+kernel_inet6_dev.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_inet6_dev.cmi
+kernel_inet6_ifaddr.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_inet6_ifaddr.cmi
+kernel_inet6_ifaddr.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_inet6_ifaddr.cmi
+kernel_in_ifaddr.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_in_ifaddr.cmi
+kernel_in_ifaddr.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_in_ifaddr.cmi