Type:	Map[string,string]
	mapping from string to string
Name:	HVM_boot_params
	HVM boot params

Field is read-write

• Map[string,string] get_HVM_boot_params (session session_id, VM self)

  Get the HVM/boot_params field of the given VM.

• void set_HVM_boot_params (session session_id, VM self, Map[string,string] value)

  Set the HVM/boot_params field of the given VM.

• void add_to_HVM_boot_params (session session_id, VM self, string key, string value)

  Add the given key-value pair to the HVM/boot_params field of the given VM.

• void remove_from_HVM_boot_params (session session_id, VM self, string key)

  Remove the given key and its corresponding value from the HVM/boot_params field of the given VM. If the key is not in that Map, then do nothing.