Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
QmpSourcetype enabled = {enabled : bool;feature is present and turned on
*)present : bool;feature is present (but may not be turned on)
*)}QOM properties - https://wiki.qemu.org/index.php/Documentation https://qemu.weilnetz.de/doc/qemu-qmp-ref.html
type result = | Name_list of string list| Enabled of enabled| Status of string| Vnc of vnc| Xen_platform_pv_driver_info of xen_platform_pv_driver_info| Hotpluggable_cpus of Device.VCPU.hotpluggable_t list| Fd_info of fd_info| Unit| Qom of qom list| Char_devices of char_device listA successful RPC result
type greeting = {major : int;qemu major version
*)minor : int;qemu minor version
*)micro : int;qemu micro version
*)package : string;some information about the (binary?) package
*)}type event_data = | RTC_CHANGE of int64emitted when the guest changes the RTC time
*)| XEN_PLATFORM_PV_DRIVER_INFO of xen_platform_pv_driver_infoemitted when the XEN PV driver writes build number to io-port 0x10, marking the end of the preamble
*)type event = {timestamp : int * int;time the event occurred in (seconds, microseconds)
*)event : string;type of event
*)data : event_data option;}identifier used to match responses with original requests
type command = | Qmp_capabilities| Query_commands| Query_kvm| Query_status| Query_vnc| Query_xen_platform_pv_driver_info| Query_hotpluggable_cpus| Query_migratable| Query_pci| Query_chardev| Stop| Cont| Eject of string * bool option| Change of string * string * string option| System_powerdown| Xen_save_devices_state of string| Xen_load_devices_state of string| Xen_set_global_dirty_log of bool| Add_fd of int option| Remove_fd of int| Blockdev_change_medium of medium| Device_add of device_add_t| Device_del of string| Qom_list of stringcommands that may be sent to qemu
*)