(lang dune 3.4)
(name xapi-idl)
(version 23.3.0)
(sections
 (lib /usr/lib64/opamroot/ocaml-system/lib/xapi-idl)
 (libexec /usr/lib64/opamroot/ocaml-system/lib/xapi-idl)
 (bin /usr/bin)
 (doc /usr/doc/xapi-idl))
(files
 (lib
  (META
   cluster/cluster_client.cmi
   cluster/cluster_client.cmt
   cluster/cluster_client.cmx
   cluster/cluster_client.ml
   cluster/cluster_interface.cmi
   cluster/cluster_interface.cmt
   cluster/cluster_interface.cmx
   cluster/cluster_interface.ml
   cluster/xcp_cluster.a
   cluster/xcp_cluster.cma
   cluster/xcp_cluster.cmxa
   cohttp_posix_io.cmi
   cohttp_posix_io.cmt
   cohttp_posix_io.cmx
   cohttp_posix_io.ml
   dune-package
   gpumon/gpumon_client.cmi
   gpumon/gpumon_client.cmt
   gpumon/gpumon_client.cmx
   gpumon/gpumon_client.ml
   gpumon/gpumon_interface.cmi
   gpumon/gpumon_interface.cmt
   gpumon/gpumon_interface.cmx
   gpumon/gpumon_interface.ml
   gpumon/xapi_gpumon.a
   gpumon/xapi_gpumon.cma
   gpumon/xapi_gpumon.cmxa
   memory/memory.cmi
   memory/memory.cmt
   memory/memory.cmx
   memory/memory.ml
   memory/memory_client.cmi
   memory/memory_client.cmt
   memory/memory_client.cmx
   memory/memory_client.ml
   memory/memory_interface.cmi
   memory/memory_interface.cmt
   memory/memory_interface.cmx
   memory/memory_interface.ml
   memory/xcp_memory.a
   memory/xcp_memory.cma
   memory/xcp_memory.cmxa
   network/network_client.cmi
   network/network_client.cmt
   network/network_client.cmx
   network/network_client.ml
   network/network_interface.cmi
   network/network_interface.cmt
   network/network_interface.cmx
   network/network_interface.ml
   network/network_stats.cmi
   network/network_stats.cmt
   network/network_stats.cmx
   network/network_stats.ml
   network/xcp_network.a
   network/xcp_network.cma
   network/xcp_network.cmxa
   opam
   posix_channel.cmi
   posix_channel.cmt
   posix_channel.cmti
   posix_channel.cmx
   posix_channel.ml
   posix_channel.mli
   rrd/ds.cmi
   rrd/ds.cmt
   rrd/ds.cmx
   rrd/ds.ml
   rrd/interface/rrd_interface.cmi
   rrd/interface/rrd_interface.cmt
   rrd/interface/rrd_interface.cmx
   rrd/interface/rrd_interface.ml
   rrd/interface/types/data_source.cmi
   rrd/interface/types/data_source.cmt
   rrd/interface/types/data_source.cmx
   rrd/interface/types/data_source.ml
   rrd/interface/types/xcp_rrd_interface_types.a
   rrd/interface/types/xcp_rrd_interface_types.cma
   rrd/interface/types/xcp_rrd_interface_types.cmxa
   rrd/interface/xcp_rrd_interface.a
   rrd/interface/xcp_rrd_interface.cma
   rrd/interface/xcp_rrd_interface.cmxa
   rrd/rrd_client.cmi
   rrd/rrd_client.cmt
   rrd/rrd_client.cmx
   rrd/rrd_client.ml
   rrd/xcp_rrd.a
   rrd/xcp_rrd.cma
   rrd/xcp_rrd.cmxa
   storage/interface/storage_interface.cmi
   storage/interface/storage_interface.cmt
   storage/interface/storage_interface.cmx
   storage/interface/storage_interface.ml
   storage/interface/types/vdi_automaton.cmi
   storage/interface/types/vdi_automaton.cmt
   storage/interface/types/vdi_automaton.cmx
   storage/interface/types/vdi_automaton.ml
   storage/interface/types/xcp_storage_interface_types.a
   storage/interface/types/xcp_storage_interface_types.cma
   storage/interface/types/xcp_storage_interface_types.cmxa
   storage/interface/xcp_storage_interface.a
   storage/interface/xcp_storage_interface.cma
   storage/interface/xcp_storage_interface.cmxa
   storage/storage_client.cmi
   storage/storage_client.cmt
   storage/storage_client.cmx
   storage/storage_client.ml
   storage/storage_skeleton.cmi
   storage/storage_skeleton.cmt
   storage/storage_skeleton.cmx
   storage/storage_skeleton.ml
   storage/storage_skeleton_test.cmi
   storage/storage_skeleton_test.cmt
   storage/storage_skeleton_test.cmx
   storage/storage_skeleton_test.ml
   storage/xcp_storage.a
   storage/xcp_storage.cma
   storage/xcp_storage.cmxa
   updates/scheduler.cmi
   updates/scheduler.cmt
   updates/scheduler.cmti
   updates/scheduler.cmx
   updates/scheduler.ml
   updates/scheduler.mli
   updates/task_server.cmi
   updates/task_server.cmt
   updates/task_server.cmti
   updates/task_server.cmx
   updates/task_server.ml
   updates/task_server.mli
   updates/updates.cmi
   updates/updates.cmt
   updates/updates.cmti
   updates/updates.cmx
   updates/updates.ml
   updates/updates.mli
   updates/xcp_updates.a
   updates/xcp_updates.cma
   updates/xcp_updates.cmxa
   uuidm_rpc_type.cmi
   uuidm_rpc_type.cmt
   uuidm_rpc_type.cmti
   uuidm_rpc_type.cmx
   uuidm_rpc_type.ml
   uuidm_rpc_type.mli
   v6/v6_client.cmi
   v6/v6_client.cmt
   v6/v6_client.cmx
   v6/v6_client.ml
   v6/v6_interface.cmi
   v6/v6_interface.cmt
   v6/v6_interface.cmx
   v6/v6_interface.ml
   v6/xcp_v6.a
   v6/xcp_v6.cma
   v6/xcp_v6.cmxa
   varstore/deprivileged/varstore_deprivileged_interface.cmi
   varstore/deprivileged/varstore_deprivileged_interface.cmt
   varstore/deprivileged/varstore_deprivileged_interface.cmx
   varstore/deprivileged/varstore_deprivileged_interface.ml
   varstore/deprivileged/xapi_idl_varstore_deprivileged.a
   varstore/deprivileged/xapi_idl_varstore_deprivileged.cma
   varstore/deprivileged/xapi_idl_varstore_deprivileged.cmxa
   varstore/privileged/varstore_privileged_client.cmi
   varstore/privileged/varstore_privileged_client.cmt
   varstore/privileged/varstore_privileged_client.cmx
   varstore/privileged/varstore_privileged_client.ml
   varstore/privileged/varstore_privileged_interface.cmi
   varstore/privileged/varstore_privileged_interface.cmt
   varstore/privileged/varstore_privileged_interface.cmx
   varstore/privileged/varstore_privileged_interface.ml
   varstore/privileged/xapi_idl_varstore_privileged.a
   varstore/privileged/xapi_idl_varstore_privileged.cma
   varstore/privileged/xapi_idl_varstore_privileged.cmxa
   xcp.a
   xcp.cma
   xcp.cmxa
   xcp_channel.cmi
   xcp_channel.cmt
   xcp_channel.cmti
   xcp_channel.cmx
   xcp_channel.ml
   xcp_channel.mli
   xcp_channel_protocol.cmi
   xcp_channel_protocol.cmt
   xcp_channel_protocol.cmti
   xcp_channel_protocol.cmx
   xcp_channel_protocol.ml
   xcp_channel_protocol.mli
   xcp_client.cmi
   xcp_client.cmt
   xcp_client.cmx
   xcp_client.ml
   xcp_pci.cmi
   xcp_pci.cmt
   xcp_pci.cmx
   xcp_pci.ml
   xcp_service.cmi
   xcp_service.cmt
   xcp_service.cmti
   xcp_service.cmx
   xcp_service.ml
   xcp_service.mli
   xen/interface/types/device_number.cmi
   xen/interface/types/device_number.cmt
   xen/interface/types/device_number.cmti
   xen/interface/types/device_number.cmx
   xen/interface/types/device_number.ml
   xen/interface/types/device_number.mli
   xen/interface/types/xcp_xen_interface_types.a
   xen/interface/types/xcp_xen_interface_types.cma
   xen/interface/types/xcp_xen_interface_types.cmxa
   xen/interface/types/xenops_types.cmi
   xen/interface/types/xenops_types.cmt
   xen/interface/types/xenops_types.cmx
   xen/interface/types/xenops_types.ml
   xen/interface/xcp_xen_interface.a
   xen/interface/xcp_xen_interface.cma
   xen/interface/xcp_xen_interface.cmxa
   xen/interface/xenops_interface.cmi
   xen/interface/xenops_interface.cmt
   xen/interface/xenops_interface.cmx
   xen/interface/xenops_interface.ml
   xen/xcp_xen.a
   xen/xcp_xen.cma
   xen/xcp_xen.cmxa
   xen/xenops_client.cmi
   xen/xenops_client.cmt
   xen/xenops_client.cmx
   xen/xenops_client.ml))
 (libexec
  (cluster/xcp_cluster.cmxs
   gpumon/xapi_gpumon.cmxs
   memory/xcp_memory.cmxs
   network/xcp_network.cmxs
   rrd/interface/types/xcp_rrd_interface_types.cmxs
   rrd/interface/xcp_rrd_interface.cmxs
   rrd/xcp_rrd.cmxs
   storage/interface/types/xcp_storage_interface_types.cmxs
   storage/interface/xcp_storage_interface.cmxs
   storage/xcp_storage.cmxs
   updates/xcp_updates.cmxs
   v6/xcp_v6.cmxs
   varstore/deprivileged/xapi_idl_varstore_deprivileged.cmxs
   varstore/privileged/xapi_idl_varstore_privileged.cmxs
   xcp.cmxs
   xen/interface/types/xcp_xen_interface_types.cmxs
   xen/interface/xcp_xen_interface.cmxs
   xen/xcp_xen.cmxs))
 (bin (gpumon-cli xcp-idl-debugger))
 (doc (CHANGELOG LICENSE README.markdown)))
(library
 (name xapi-idl)
 (kind normal)
 (archives (byte xcp.cma) (native xcp.cmxa))
 (plugins (byte xcp.cma) (native xcp.cmxs))
 (native_archives xcp.a)
 (requires
  astring
  cmdliner
  cohttp
  (re_export dune-build-info)
  fd-send-recv
  logs
  message-switch-core
  message-switch-unix
  mtime
  mtime.clock.os
  ppx_sexp_conv.runtime-lib
  re
  rpclib.core
  rpclib.json
  rpclib.xml
  result
  rresult
  sexplib
  sexplib0
  threads.posix
  unix
  uri
  uuidm
  xapi-backtrace
  xapi-consts
  xapi-log
  xapi-open-uri
  xapi-stdext-pervasives
  xapi-stdext-threads
  xapi-inventory
  xmlm
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Cohttp_posix_io)
    (obj_name cohttp_posix_io)
    (visibility public)
    (impl))
   ((name Posix_channel)
    (obj_name posix_channel)
    (visibility public)
    (impl)
    (intf))
   ((name Uuidm_rpc_type)
    (obj_name uuidm_rpc_type)
    (visibility public)
    (impl)
    (intf))
   ((name Xcp_channel)
    (obj_name xcp_channel)
    (visibility public)
    (impl)
    (intf))
   ((name Xcp_channel_protocol)
    (obj_name xcp_channel_protocol)
    (visibility public)
    (impl)
    (intf))
   ((name Xcp_client) (obj_name xcp_client) (visibility public) (impl))
   ((name Xcp_pci) (obj_name xcp_pci) (visibility public) (impl))
   ((name Xcp_service)
    (obj_name xcp_service)
    (visibility public)
    (impl)
    (intf)))))
(library
 (name xapi-idl.cluster)
 (kind normal)
 (archives (byte cluster/xcp_cluster.cma) (native cluster/xcp_cluster.cmxa))
 (plugins (byte cluster/xcp_cluster.cma) (native cluster/xcp_cluster.cmxs))
 (native_archives cluster/xcp_cluster.a)
 (requires
  result
  rpclib.core
  rpclib.json
  rresult
  dune-build-info
  xapi-idl
  threads
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Cluster_client)
    (obj_name cluster_client)
    (visibility public)
    (impl))
   ((name Cluster_interface)
    (obj_name cluster_interface)
    (visibility public)
    (impl)))))
(library
 (name xapi-idl.gpumon)
 (kind normal)
 (archives (byte gpumon/xapi_gpumon.cma) (native gpumon/xapi_gpumon.cmxa))
 (plugins (byte gpumon/xapi_gpumon.cma) (native gpumon/xapi_gpumon.cmxs))
 (native_archives gpumon/xapi_gpumon.a)
 (requires
  result
  rpclib.core
  rresult
  threads
  dune-build-info
  xapi-idl
  xapi-log
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Gpumon_client) (obj_name gpumon_client) (visibility public) (impl))
   ((name Gpumon_interface)
    (obj_name gpumon_interface)
    (visibility public)
    (impl)))))
(library
 (name xapi-idl.memory)
 (kind normal)
 (archives (byte memory/xcp_memory.cma) (native memory/xcp_memory.cmxa))
 (plugins (byte memory/xcp_memory.cma) (native memory/xcp_memory.cmxs))
 (native_archives memory/xcp_memory.a)
 (requires
  result
  rpclib.core
  rresult
  dune-build-info
  xapi-idl
  xapi-log
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Memory) (obj_name memory) (visibility public) (impl))
   ((name Memory_client) (obj_name memory_client) (visibility public) (impl))
   ((name Memory_interface)
    (obj_name memory_interface)
    (visibility public)
    (impl)))))
(library
 (name xapi-idl.network)
 (kind normal)
 (archives (byte network/xcp_network.cma) (native network/xcp_network.cmxa))
 (plugins (byte network/xcp_network.cma) (native network/xcp_network.cmxs))
 (native_archives network/xcp_network.a)
 (requires
  result
  rpclib.core
  rpclib.json
  rresult
  threads.posix
  dune-build-info
  xapi-idl
  xapi-log
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Network_client)
    (obj_name network_client)
    (visibility public)
    (impl))
   ((name Network_interface)
    (obj_name network_interface)
    (visibility public)
    (impl))
   ((name Network_stats) (obj_name network_stats) (visibility public) (impl)))))
(library
 (name xapi-idl.rrd)
 (kind normal)
 (archives (byte rrd/xcp_rrd.cma) (native rrd/xcp_rrd.cmxa))
 (plugins (byte rrd/xcp_rrd.cma) (native rrd/xcp_rrd.cmxs))
 (native_archives rrd/xcp_rrd.a)
 (requires
  rpclib.core
  threads.posix
  dune-build-info
  xapi-idl
  (re_export xapi-idl.rrd.interface)
  (re_export xapi-idl.rrd.interface.types)
  xapi-rrd
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Ds) (obj_name ds) (visibility public) (impl))
   ((name Rrd_client) (obj_name rrd_client) (visibility public) (impl)))))
(library
 (name xapi-idl.rrd.interface)
 (kind normal)
 (archives
  (byte rrd/interface/xcp_rrd_interface.cma)
  (native rrd/interface/xcp_rrd_interface.cmxa))
 (plugins
  (byte rrd/interface/xcp_rrd_interface.cma)
  (native rrd/interface/xcp_rrd_interface.cmxs))
 (native_archives rrd/interface/xcp_rrd_interface.a)
 (requires
  result
  rpclib.core
  rresult
  dune-build-info
  xapi-idl
  xapi-idl.rrd.interface.types
  xapi-rrd
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Rrd_interface)
   (obj_name rrd_interface)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.rrd.interface.types)
 (kind normal)
 (archives
  (byte rrd/interface/types/xcp_rrd_interface_types.cma)
  (native rrd/interface/types/xcp_rrd_interface_types.cmxa))
 (plugins
  (byte rrd/interface/types/xcp_rrd_interface_types.cma)
  (native rrd/interface/types/xcp_rrd_interface_types.cmxs))
 (native_archives rrd/interface/types/xcp_rrd_interface_types.a)
 (requires
  result
  rpclib.core
  rresult
  dune-build-info
  xapi-idl
  xapi-rrd
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Data_source)
   (obj_name data_source)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.storage)
 (kind normal)
 (archives (byte storage/xcp_storage.cma) (native storage/xcp_storage.cmxa))
 (plugins (byte storage/xcp_storage.cma) (native storage/xcp_storage.cmxs))
 (native_archives storage/xcp_storage.a)
 (requires
  rpclib.core
  threads.posix
  dune-build-info
  xapi-idl
  xapi-idl.storage.interface
  xapi-stdext-date
  ppx_sexp_conv.runtime-lib
  sexplib0
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Storage_client)
    (obj_name storage_client)
    (visibility public)
    (impl))
   ((name Storage_skeleton)
    (obj_name storage_skeleton)
    (visibility public)
    (impl))
   ((name Storage_skeleton_test)
    (obj_name storage_skeleton_test)
    (visibility public)
    (impl)))))
(library
 (name xapi-idl.storage.interface)
 (kind normal)
 (archives
  (byte storage/interface/xcp_storage_interface.cma)
  (native storage/interface/xcp_storage_interface.cmxa))
 (plugins
  (byte storage/interface/xcp_storage_interface.cma)
  (native storage/interface/xcp_storage_interface.cmxs))
 (native_archives storage/interface/xcp_storage_interface.a)
 (requires
  astring
  result
  rpclib.core
  rpclib.json
  rresult
  xapi-stdext-date
  dune-build-info
  xapi-idl
  xapi-idl.storage.interface.types
  xapi-log
  ppx_sexp_conv.runtime-lib
  sexplib0
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Storage_interface)
   (obj_name storage_interface)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.storage.interface.types)
 (kind normal)
 (archives
  (byte storage/interface/types/xcp_storage_interface_types.cma)
  (native storage/interface/types/xcp_storage_interface_types.cmxa))
 (plugins
  (byte storage/interface/types/xcp_storage_interface_types.cma)
  (native storage/interface/types/xcp_storage_interface_types.cmxs))
 (native_archives storage/interface/types/xcp_storage_interface_types.a)
 (requires
  result
  rpclib.core
  rresult
  threads
  dune-build-info
  xapi-idl
  ppx_sexp_conv.runtime-lib
  sexplib0
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Vdi_automaton)
   (obj_name vdi_automaton)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.updates)
 (kind normal)
 (archives (byte updates/xcp_updates.cma) (native updates/xcp_updates.cmxa))
 (plugins (byte updates/xcp_updates.cma) (native updates/xcp_updates.cmxs))
 (native_archives updates/xcp_updates.a)
 (requires
  mtime
  mtime.clock.os
  rpclib.core
  rpclib.json
  sexplib
  sexplib0
  threads.posix
  xapi-backtrace
  xapi-log
  xapi-stdext-pervasives
  xapi-stdext-threads
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Scheduler) (obj_name scheduler) (visibility public) (impl) (intf))
   ((name Task_server)
    (obj_name task_server)
    (visibility public)
    (impl)
    (intf))
   ((name Updates) (obj_name updates) (visibility public) (impl) (intf)))))
(library
 (name xapi-idl.v6)
 (kind normal)
 (archives (byte v6/xcp_v6.cma) (native v6/xcp_v6.cmxa))
 (plugins (byte v6/xcp_v6.cma) (native v6/xcp_v6.cmxs))
 (native_archives v6/xcp_v6.a)
 (requires
  result
  rpclib.core
  rresult
  threads.posix
  dune-build-info
  xapi-idl
  xapi-log
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name V6_client) (obj_name v6_client) (visibility public) (impl))
   ((name V6_interface) (obj_name v6_interface) (visibility public) (impl)))))
(library
 (name xapi-idl.varstore.deprivileged)
 (kind normal)
 (archives
  (byte varstore/deprivileged/xapi_idl_varstore_deprivileged.cma)
  (native varstore/deprivileged/xapi_idl_varstore_deprivileged.cmxa))
 (plugins
  (byte varstore/deprivileged/xapi_idl_varstore_deprivileged.cma)
  (native varstore/deprivileged/xapi_idl_varstore_deprivileged.cmxs))
 (native_archives varstore/deprivileged/xapi_idl_varstore_deprivileged.a)
 (requires
  rpclib.core
  threads
  xapi-idl.xen
  xapi-idl.xen.interface
  dune-build-info
  xapi-idl
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Varstore_deprivileged_interface)
   (obj_name varstore_deprivileged_interface)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.varstore.privileged)
 (kind normal)
 (archives
  (byte varstore/privileged/xapi_idl_varstore_privileged.cma)
  (native varstore/privileged/xapi_idl_varstore_privileged.cmxa))
 (plugins
  (byte varstore/privileged/xapi_idl_varstore_privileged.cma)
  (native varstore/privileged/xapi_idl_varstore_privileged.cmxs))
 (native_archives varstore/privileged/xapi_idl_varstore_privileged.a)
 (requires result rpclib.core rresult uuidm dune-build-info xapi-idl rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Varstore_privileged_client)
    (obj_name varstore_privileged_client)
    (visibility public)
    (impl))
   ((name Varstore_privileged_interface)
    (obj_name varstore_privileged_interface)
    (visibility public)
    (impl)))))
(library
 (name xapi-idl.xen)
 (kind normal)
 (archives (byte xen/xcp_xen.cma) (native xen/xcp_xen.cmxa))
 (plugins (byte xen/xcp_xen.cma) (native xen/xcp_xen.cmxs))
 (native_archives xen/xcp_xen.a)
 (requires
  result
  rpclib.core
  rpclib.json
  threads
  dune-build-info
  xapi-idl
  xapi-idl.xen.interface
  ppx_sexp_conv.runtime-lib
  sexplib0
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Xenops_client)
   (obj_name xenops_client)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.xen.interface)
 (kind normal)
 (archives
  (byte xen/interface/xcp_xen_interface.cma)
  (native xen/interface/xcp_xen_interface.cmxa))
 (plugins
  (byte xen/interface/xcp_xen_interface.cma)
  (native xen/interface/xcp_xen_interface.cmxs))
 (native_archives xen/interface/xcp_xen_interface.a)
 (requires
  result
  rpclib.core
  rresult
  dune-build-info
  xapi-idl
  xapi-idl.xen.interface.types
  xapi-log
  ppx_sexp_conv.runtime-lib
  sexplib0
  rpclib)
 (modes byte native)
 (modules
  (singleton
   (name Xenops_interface)
   (obj_name xenops_interface)
   (visibility public)
   (impl))))
(library
 (name xapi-idl.xen.interface.types)
 (kind normal)
 (archives
  (byte xen/interface/types/xcp_xen_interface_types.cma)
  (native xen/interface/types/xcp_xen_interface_types.cmxa))
 (plugins
  (byte xen/interface/types/xcp_xen_interface_types.cma)
  (native xen/interface/types/xcp_xen_interface_types.cmxs))
 (native_archives xen/interface/types/xcp_xen_interface_types.a)
 (requires
  result
  rpclib.core
  rresult
  sexplib
  sexplib0
  threads
  dune-build-info
  xapi-idl
  ppx_sexp_conv.runtime-lib
  rpclib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Device_number)
    (obj_name device_number)
    (visibility public)
    (impl)
    (intf))
   ((name Xenops_types) (obj_name xenops_types) (visibility public) (impl)))))
