vhd-format 0.0.2 · OCaml Package

type feature =

| Feature_no_features_enabled
| Feature_temporary
| Feature_reserved

type disk_type =

| DT_None
| DT_Reserved of int
| DT_Fixed_hard_disk
| DT_Dynamic_hard_disk
| DT_Differencing_hard_disk

type geometry = {

g_cylinders : int;
g_heads : int;
g_sectors : int;

}

type vhd_footer = {

f_cookie : string;
f_features : feature list;
f_format_version : int32;
f_data_offset : int64;
f_time_stamp : int32;
f_creator_application : string;
f_creator_version : int32;
f_creator_host_os : string;
f_original_size : int64;
f_current_size : int64;
f_geometry : geometry;
f_disk_type : disk_type;
f_checksum : int32;
f_uid : string;
f_saved_state : bool;

}

type parent_locator = {

platform_code : int32;
platform_data_space : int32;
platform_data_space_original : int32;
platform_data_length : int32;
mutable platform_data_offset : int64;
platform_data : string;

}

type vhd_header = {

h_cookie : string;
h_data_offset : int64;
mutable h_table_offset : int64;
h_header_version : int32;
mutable h_max_table_entries : int32;
h_block_size : int32;
h_checksum : int32;
h_parent_unique_id : string;
h_parent_time_stamp : int32;
h_parent_unicode_name : int array;
h_parent_locators : parent_locator array;

}

type vhd = {

filename : string;
mmap : Lwt_bytes.t;
header : vhd_header;
footer : vhd_footer;
parent : vhd option;
bat : int32 array;

}

val null_locator : parent_locator

val platform_code_wi2r : int32

val platform_code_wi2k : int32

val platform_code_w2ru : int32

val platform_code_w2ku : int32

val platform_code_mac : int32

val platform_code_macx : int32

val footer_cookie : string

val header_cookie : string

val sector_size : int

val sector_sizeL : int64

val block_size : int32

val unusedl : int32

val unusedL : int64

val header_version : int32

val footer_version : int32

val creator_application : string

val creator_version : int32

val y2k : float

val really_read : Lwt_bytes.t -> int64 -> int64 -> bytes Lwt.t

val really_write : Lwt_bytes.t -> int64 -> string -> unit Lwt.t

val utf16_to_string : int array -> string

val get_chs : int -> int * int * int

val get_vhd_time : float -> int32

val get_now : unit -> int32

val get_parent_modification_time : string -> int32

val utf16_of_utf8 : string -> int array

val unmarshal_uint8 : (string * int) -> int * (string * int)

val unmarshal_uint16 : 
  ?bigendian:bool ->
  (string * int) ->
  int * (string * int)

val unmarshal_uint32 : 
  ?bigendian:bool ->
  (string * int) ->
  int32 * (string * int)

val unmarshal_uint64 : 
  ?bigendian:bool ->
  (string * int) ->
  int64 * (string * int)

val unmarshal_string : int -> (string * int) -> string * (string * int)

val unmarshal_utf16_string : 
  int ->
  (string * int) ->
  int array * (string * int)

val marshal_int8 : int -> string

val marshal_int16 : ?bigendian:bool -> int -> string

val marshal_int32 : ?bigendian:bool -> int32 -> string

val marshal_int64 : ?bigendian:bool -> int64 -> string

val marshal_utf16 : int array -> string

val pad_string_to : string -> int -> string

val get_block_sizes : vhd -> int32 * int32 * int32

val unmarshal_geometry : (string * int) -> geometry * (string * int)

val unmarshal_parent_locator : 
  Lwt_bytes.t ->
  (string * int) ->
  (parent_locator * (string * int)) Lwt.t

val unmarshal_n : int -> 'a -> ('a -> ('b * 'a) Lwt.t) -> ('b list * 'a) Lwt.t

val unmarshal_parent_locators : 
  Lwt_bytes.t ->
  (string * int) ->
  (parent_locator array * (string * int)) Lwt.t

val parse_bitfield : int64 -> int list

val uuidarr_to_string : int array -> string

val read_footer : Lwt_bytes.t -> int64 -> bool -> vhd_footer Lwt.t

val read_header : Lwt_bytes.t -> int64 -> vhd_header Lwt.t

val read_bat : Lwt_bytes.t -> 'a -> vhd_header -> int32 array Lwt.t

val read_bitmap : vhd -> int -> int array Lwt.t

val get_parent_filename : vhd_header -> string

val load_vhd : string -> vhd Lwt.t

val marshal_features : feature list -> string

val marshal_geometry : geometry -> string

val marshal_disk_type : disk_type -> string

val string_to_uuidarr : string -> int array

val marshal_uuid : string -> string

val marshal_parent_locator_entry : parent_locator -> string

val generic_calc_checksum : string -> int32

val marshal_footer_no_checksum : vhd_footer -> string

val calc_checksum_footer : vhd_footer -> int32 * string

val marshal_footer : vhd_footer -> string

val marshal_header_no_checksum : vhd_header -> string

val calc_checksum_header : vhd_header -> int32 * string

val marshal_header : vhd_header -> string

val write_locator : Lwt_bytes.t -> parent_locator -> unit Lwt.t

val write_locators : Lwt_bytes.t -> vhd_header -> unit Lwt.t

val write_bat : Lwt_bytes.t -> vhd -> unit Lwt.t

val dump_sector : string -> unit

val feature_to_string : feature -> string

val disk_type_to_string : disk_type -> string

val parent_locator_to_string : parent_locator -> string

val dump_footer : vhd_footer -> unit

val dump_header : vhd_header -> unit

val dump_bat : int32 array -> unit

val dump_vhd : vhd -> unit

val get_offset_info_of_sector : 
  vhd ->
  int64 ->
  int * int64 * int * int * int * int * int64 * int64

val get_sector_pos : vhd -> int64 -> (Lwt_bytes.t * int64) option Lwt.t

exception EmptyVHD

val get_top_unused_offset : vhd -> int64

val write_trailing_footer : vhd -> unit Lwt.t

val write_vhd : vhd -> unit Lwt.t

val write_clean_block : vhd -> int -> unit Lwt.t

val write_sector : vhd -> int64 -> string -> unit Lwt.t

val rewrite_block : 'a -> 'b -> 'c -> unit

type block_marker =

| Start of string * int64
| End of string * int64

val check_overlapping_blocks : vhd -> unit

val create_new_dynamic : 
  string ->
  int64 ->
  string ->
  ?sparse:bool ->
  ?table_offset:int64 ->
  ?block_size:int32 ->
  ?data_offset:int64 ->
  ?saved_state:bool ->
  ?features:feature list ->
  unit ->
  vhd Lwt.t

val create_new_difference : 
  string ->
  string ->
  string ->
  ?features:feature list ->
  ?data_offset:int64 ->
  ?saved_state:bool ->
  ?table_offset:int64 ->
  unit ->
  vhd Lwt.t

val make_uuid : unit -> string

val round_up_to_2mb_block : int64 -> int64

package vhd-format