mirage-qubes

Implementations of various Qubes protocols for MirageOS
Library mirage-qubes
Module Qubes . Formats . GUI

see qubes-gui-common/include/qubes-gui-protocol.h

val const_QUBES_MAIN_WINDOW : int32
val sizeof_gui_protocol_version : int
val get_gui_protocol_version_version : Cstruct.t -> Cstruct.uint32
val set_gui_protocol_version_version : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_gui_protocol_version_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_gui_protocol_version : Cstruct.t -> unit
val sizeof_msg_header : int
val get_msg_header_ty : Cstruct.t -> Cstruct.uint32
val set_msg_header_ty : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_header_window : Cstruct.t -> Cstruct.uint32
val set_msg_header_window : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_header_untrusted_len : Cstruct.t -> Cstruct.uint32
val set_msg_header_untrusted_len : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_header_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_header : Cstruct.t -> unit
val sizeof_msg_map_info : int
val get_msg_map_info_override_redirect : Cstruct.t -> Cstruct.uint32
val set_msg_map_info_override_redirect : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_map_info_transient_for : Cstruct.t -> Cstruct.uint32
val set_msg_map_info_transient_for : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_map_info_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_map_info : Cstruct.t -> unit
val sizeof_msg_clipboard_req : int

Dom0 -> VM, dom0 wants us to reply with a MSG_CLIPBOARD_DATA

val sizeof_msg_clipboard_data : int
val get_msg_clipboard_data_window_id : Cstruct.t -> Cstruct.uint32
val set_msg_clipboard_data_window_id : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_clipboard_data_len : Cstruct.t -> Cstruct.uint32
val set_msg_clipboard_data_len : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_clipboard_data_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_clipboard_data : Cstruct.t -> unit
val sizeof_msg_create : int
val get_msg_create_x : Cstruct.t -> Cstruct.uint32
val set_msg_create_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_create_y : Cstruct.t -> Cstruct.uint32
val set_msg_create_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_create_width : Cstruct.t -> Cstruct.uint32
val set_msg_create_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_create_height : Cstruct.t -> Cstruct.uint32
val set_msg_create_height : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_create_parent : Cstruct.t -> Cstruct.uint32
val set_msg_create_parent : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_create_override_redirect : Cstruct.t -> Cstruct.uint32
val set_msg_create_override_redirect : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_create_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_create : Cstruct.t -> unit
type msg_keypress_t = {
ty : int32;
x : int32;
y : int32;
state : int32;
keycode : int32;
}
val sizeof_msg_keypress : int
val get_msg_keypress_ty : Cstruct.t -> Cstruct.uint32
val set_msg_keypress_ty : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_keypress_x : Cstruct.t -> Cstruct.uint32
val set_msg_keypress_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_keypress_y : Cstruct.t -> Cstruct.uint32
val set_msg_keypress_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_keypress_state : Cstruct.t -> Cstruct.uint32
val set_msg_keypress_state : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_keypress_keycode : Cstruct.t -> Cstruct.uint32
val set_msg_keypress_keycode : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_keypress_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_keypress : Cstruct.t -> unit
type msg_button_t = {
ty : int32;
x : int32;
y : int32;
state : int32;
button : int32;
}
val sizeof_msg_button : int
val get_msg_button_ty : Cstruct.t -> Cstruct.uint32
val set_msg_button_ty : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_button_x : Cstruct.t -> Cstruct.uint32
val set_msg_button_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_button_y : Cstruct.t -> Cstruct.uint32
val set_msg_button_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_button_state : Cstruct.t -> Cstruct.uint32
val set_msg_button_state : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_button_button : Cstruct.t -> Cstruct.uint32
val set_msg_button_button : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_button_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_button : Cstruct.t -> unit
val decode_msg_button : Cstruct.t -> msg_button_t option
type msg_motion_t = {
x : int;
y : int;
state : int32;
is_hint : int;
}
val sizeof_msg_motion : int
val get_msg_motion_x : Cstruct.t -> Cstruct.uint32
val set_msg_motion_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_motion_y : Cstruct.t -> Cstruct.uint32
val set_msg_motion_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_motion_state : Cstruct.t -> Cstruct.uint32
val set_msg_motion_state : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_motion_is_hint : Cstruct.t -> Cstruct.uint32
val set_msg_motion_is_hint : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_motion_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_motion : Cstruct.t -> unit
val decode_msg_motion : Cstruct.t -> msg_motion_t option
type msg_crossing_t = {
ty : int32;
x : int32;
y : int32;
state : int32;
mode : int32;
detail : int32;
focus : int32;
}
val sizeof_msg_crossing : int
val get_msg_crossing_ty : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_ty : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_x : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_y : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_state : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_state : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_mode : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_mode : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_detail : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_detail : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_crossing_focus : Cstruct.t -> Cstruct.uint32
val set_msg_crossing_focus : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_crossing_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_crossing : Cstruct.t -> unit
val decode_msg_crossing : Cstruct.t -> msg_crossing_t option
val sizeof_msg_configure : int
val get_msg_configure_x : Cstruct.t -> Cstruct.uint32
val set_msg_configure_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_configure_y : Cstruct.t -> Cstruct.uint32
val set_msg_configure_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_configure_width : Cstruct.t -> Cstruct.uint32
val set_msg_configure_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_configure_height : Cstruct.t -> Cstruct.uint32
val set_msg_configure_height : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_configure_override_redirect : Cstruct.t -> Cstruct.uint32
val set_msg_configure_override_redirect : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_configure_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_configure : Cstruct.t -> unit
type msg_configure_t = {
x : int32;
y : int32;
width : int32;
height : int32;
override_redirect : int32;
}
val decode_msg_configure : Cstruct.t -> msg_configure_t option
val sizeof_msg_shmimage : int
val get_msg_shmimage_x : Cstruct.t -> Cstruct.uint32
val set_msg_shmimage_x : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_shmimage_y : Cstruct.t -> Cstruct.uint32
val set_msg_shmimage_y : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_shmimage_width : Cstruct.t -> Cstruct.uint32
val set_msg_shmimage_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_shmimage_height : Cstruct.t -> Cstruct.uint32
val set_msg_shmimage_height : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_shmimage_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_shmimage : Cstruct.t -> unit
type msg_focus_t = {
mode : Cstruct.uint32;
detail : Cstruct.uint32;
}
val sizeof_msg_focus : int
val get_msg_focus_ty : Cstruct.t -> Cstruct.uint32
val set_msg_focus_ty : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_focus_mode : Cstruct.t -> Cstruct.uint32
val set_msg_focus_mode : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_focus_detail : Cstruct.t -> Cstruct.uint32
val set_msg_focus_detail : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_focus_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_focus : Cstruct.t -> unit
val sizeof_msg_execute : int
val get_msg_execute_cmd : Cstruct.t -> Cstruct.t
val copy_msg_execute_cmd : Cstruct.t -> string
val set_msg_execute_cmd : string -> int -> Cstruct.t -> unit
val blit_msg_execute_cmd : Cstruct.t -> int -> Cstruct.t -> unit
val hexdump_msg_execute_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_execute : Cstruct.t -> unit
val sizeof_xconf : int
val get_xconf_w : Cstruct.t -> Cstruct.uint32
val set_xconf_w : Cstruct.t -> Cstruct.uint32 -> unit
val get_xconf_h : Cstruct.t -> Cstruct.uint32
val set_xconf_h : Cstruct.t -> Cstruct.uint32 -> unit
val get_xconf_depth : Cstruct.t -> Cstruct.uint32
val set_xconf_depth : Cstruct.t -> Cstruct.uint32 -> unit
val get_xconf_mem : Cstruct.t -> Cstruct.uint32
val set_xconf_mem : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_xconf_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_xconf : Cstruct.t -> unit
val sizeof_msg_wmname : int
val get_msg_wmname_data : Cstruct.t -> Cstruct.t
val copy_msg_wmname_data : Cstruct.t -> string
val set_msg_wmname_data : string -> int -> Cstruct.t -> unit
val blit_msg_wmname_data : Cstruct.t -> int -> Cstruct.t -> unit
val hexdump_msg_wmname_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_wmname : Cstruct.t -> unit
val sizeof_msg_keymap_notify : int
val get_msg_keymap_notify_keys : Cstruct.t -> Cstruct.t
val copy_msg_keymap_notify_keys : Cstruct.t -> string
val set_msg_keymap_notify_keys : string -> int -> Cstruct.t -> unit
val blit_msg_keymap_notify_keys : Cstruct.t -> int -> Cstruct.t -> unit
val hexdump_msg_keymap_notify_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_keymap_notify : Cstruct.t -> unit
val sizeof_msg_window_hints : int
val get_msg_window_hints_flags : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_flags : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_min_width : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_min_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_min_height : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_min_height : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_max_width : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_max_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_max_height : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_max_height : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_width_inc : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_width_inc : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_height_inc : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_height_inc : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_base_width : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_base_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_hints_base_height : Cstruct.t -> Cstruct.uint32
val set_msg_window_hints_base_height : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_window_hints_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_window_hints : Cstruct.t -> unit
val sizeof_msg_window_flags : int
val get_msg_window_flags_flags_set : Cstruct.t -> Cstruct.uint32
val set_msg_window_flags_flags_set : Cstruct.t -> Cstruct.uint32 -> unit
val get_msg_window_flags_flags_unset : Cstruct.t -> Cstruct.uint32
val set_msg_window_flags_flags_unset : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_msg_window_flags_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_window_flags : Cstruct.t -> unit
val sizeof_shm_cmd : int
val get_shm_cmd_shmid : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_shmid : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_width : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_width : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_height : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_height : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_bpp : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_bpp : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_off : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_off : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_num_mfn : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_num_mfn : Cstruct.t -> Cstruct.uint32 -> unit
val get_shm_cmd_domid : Cstruct.t -> Cstruct.uint32
val set_shm_cmd_domid : Cstruct.t -> Cstruct.uint32 -> unit
val hexdump_shm_cmd_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_shm_cmd : Cstruct.t -> unit
val sizeof_msg_wmclass : int
val get_msg_wmclass_res_class : Cstruct.t -> Cstruct.t
val copy_msg_wmclass_res_class : Cstruct.t -> string
val set_msg_wmclass_res_class : string -> int -> Cstruct.t -> unit
val blit_msg_wmclass_res_class : Cstruct.t -> int -> Cstruct.t -> unit
val get_msg_wmclass_res_name : Cstruct.t -> Cstruct.t
val copy_msg_wmclass_res_name : Cstruct.t -> string
val set_msg_wmclass_res_name : string -> int -> Cstruct.t -> unit
val blit_msg_wmclass_res_name : Cstruct.t -> int -> Cstruct.t -> unit
val hexdump_msg_wmclass_to_buffer : Buffer.t -> Cstruct.t -> unit
val hexdump_msg_wmclass : Cstruct.t -> unit
type msg_type =
| MSG_KEYPRESS
| MSG_BUTTON
| MSG_MOTION
| MSG_CROSSING
| MSG_FOCUS
| MSG_CREATE
| MSG_DESTROY
| MSG_MAP
| MSG_UNMAP
| MSG_CONFIGURE
| MSG_MFNDUMP
| MSG_SHMIMAGE
| MSG_CLOSE
| MSG_EXECUTE
| MSG_CLIPBOARD_REQ
| MSG_CLIPBOARD_DATA
| MSG_WMNAME
| MSG_KEYMAP_NOTIFY
| MSG_DOCK
| MSG_WINDOW_HINTS
| MSG_WINDOW_FLAGS
| MSG_WMCLASS
val int_to_msg_type : int32 -> msg_type option
val msg_type_to_int : msg_type -> int32
val compare_msg_type : msg_type -> msg_type -> int
val msg_type_to_string : msg_type -> string
val string_to_msg_type : string -> msg_type option
val msg_type_size : msg_type -> int option

"MFN: machine frame number - actual hw addresses" http://ccrc.web.nthu.edu.tw/ezfiles/16/1016/img/598/v14n_xen.pdf

val make_with_header : window:Cstruct.uint32 -> ty:msg_type -> Cstruct.t -> Cstruct.t
val make_msg_mfndump : window:Cstruct.uint32 -> width:Cstruct.uint32 -> height:Cstruct.uint32 -> mfns:Cstruct.uint32 list -> Cstruct.t
val make_msg_shmimage : window:Cstruct.uint32 -> x:Cstruct.uint32 -> y:Cstruct.uint32 -> width:Cstruct.uint32 -> height:Cstruct.uint32 -> Cstruct.t
val make_msg_create : window:Cstruct.uint32 -> width:Cstruct.uint32 -> height:Cstruct.uint32 -> x:Cstruct.uint32 -> y:Cstruct.uint32 -> override_redirect:Cstruct.uint32 -> parent:Cstruct.uint32 -> Cstruct.t
val make_msg_map_info : window:Cstruct.uint32 -> override_redirect:Cstruct.uint32 -> transient_for:Cstruct.uint32 -> Cstruct.t
val make_msg_wmname : window:Cstruct.uint32 -> wmname:string -> Cstruct.t
val make_msg_window_hints : window:Cstruct.uint32 -> width:Cstruct.uint32 -> height:Cstruct.uint32 -> Cstruct.t
val make_msg_configure : window:Cstruct.uint32 -> x:Cstruct.uint32 -> y:Cstruct.uint32 -> width:Cstruct.uint32 -> height:Cstruct.uint32 -> Cstruct.t
module Framing : sig ... end