device_number.mli

(** A specification for a device number. There are more valid specifications than
    valid device numbers because of hardware and/or protocol limits. *)
type spec = 
	| Xen of int * int  (** A xen paravirtualised disk (disk num, partition num) *)
	| Scsi of int * int (** A SCSI disk (disk num, partition num) *)
	| Ide of int * int  (** An IDE disk (disk num, partition num) *)

(** A valid device number *)
type t

(** [make spec] validates a given device number specification [spec] and returns
    a device number *)
val make: spec -> 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 *)
val of_string: bool -> string -> t

(** [to_debug_string i] returns a pretty-printed interface *)
val to_debug_string: t -> string

(** [to_linux_device i] returns a possible linux string representation of interface [i] *)
val to_linux_device: t -> string

(** [of_linux_device x] returns the interface corresponding to string [x] *)
val of_linux_device: string -> t

type xenstore_key = int

(** [to_xenstore_key i] returns the xenstore key from interface [i] *)
val to_xenstore_key: t -> xenstore_key

(** [of_xenstore_key key] returns an interface from a xenstore key *)
val of_xenstore_key: xenstore_key -> t

type disk_number = int

(** [to_disk_number i] returns the corresponding non-negative disk number *)
val to_disk_number: t -> disk_number

(** [of_disk_number hvm n] returns the interface corresponding to disk 
	number [n] which depends on whether the guest is [hvm] or not. *)
val of_disk_number: bool -> disk_number -> t