Module Device_numberSource

Sourcetype bus_type =
  1. | Xen
    (*

    A xen paravirtualised bus

    *)
  2. | Scsi
    (*

    A SCSI bus

    *)
  3. | Ide
    (*

    An IDE bus

    *)

Disks are attached to particular bus types:

Sourcetype spec = bus_type * int * int

A specification for a device number. There are more valid specifications than valid device numbers because of hardware and/or protocol limits.

Sourcetype t

A valid device number

Sourceval make : spec -> t

make spec validates a given device number specification spec and returns a device number

Sourceval spec : t -> spec

spec t takes a t and returns the corresponding spec

Sourceval of_string : bool -> string -> t

of_string hvm name returns the interface which best matches the name by applying the policy: first check if it is a disk_number, else fall back to a linux_device for backwards compatability

Sourceval to_debug_string : t -> string

to_debug_string i returns a pretty-printed interface

Sourceval to_linux_device : t -> string

to_linux_device i returns a possible linux string representation of interface i

Sourceval of_linux_device : string -> t

of_linux_device x returns the interface corresponding to string x

Sourcetype xenstore_key = int
Sourceval to_xenstore_key : t -> xenstore_key

to_xenstore_key i returns the xenstore key from interface i

Sourceval of_xenstore_key : xenstore_key -> t

of_xenstore_key key returns an interface from a xenstore key

Sourcetype disk_number = int
Sourceval to_disk_number : t -> disk_number

to_disk_number i returns the corresponding non-negative disk number

Sourceval of_disk_number : bool -> disk_number -> t

of_disk_number hvm n returns the interface corresponding to disk number n which depends on whether the guest is hvm or not.