Lines Matching refs:domid
18 type domid = int type
86 domid : domid; RecordField
181 external domain_create: handle -> domctl_create_config -> domid
184 external domain_sethandle: handle -> domid -> string -> unit
187 external domain_max_vcpus: handle -> domid -> int -> unit
190 external domain_pause: handle -> domid -> unit = "stub_xc_domain_pause"
191 external domain_unpause: handle -> domid -> unit = "stub_xc_domain_unpause"
192 external domain_resume_fast: handle -> domid -> unit = "stub_xc_domain_resume_fast"
193 external domain_destroy: handle -> domid -> unit = "stub_xc_domain_destroy"
195 external domain_shutdown: handle -> domid -> shutdown_reason -> unit
198 external _domain_getinfolist: handle -> domid -> int -> domaininfo list
203 let last_domid l = (List.hd l).domid + 1 in
210 external domain_getinfo: handle -> domid -> domaininfo= "stub_xc_domain_getinfo"
215 external domain_ioport_permission: handle -> domid -> int -> int -> bool -> unit
217 external domain_iomem_permission: handle -> domid -> nativeint -> nativeint -> bool -> unit
219 external domain_irq_permission: handle -> domid -> int -> bool -> unit
222 external vcpu_affinity_set: handle -> domid -> int -> bool array -> unit
224 external vcpu_affinity_get: handle -> domid -> int -> bool array
227 external vcpu_context_get: handle -> domid -> int -> string
232 external sched_credit_domain_set: handle -> domid -> sched_control -> unit
234 external sched_credit_domain_get: handle -> domid -> sched_control
237 external shadow_allocation_set: handle -> domid -> int -> unit
239 external shadow_allocation_get: handle -> domid -> int
242 external evtchn_alloc_unbound: handle -> domid -> domid -> int
244 external evtchn_reset: handle -> domid -> unit = "stub_xc_evtchn_reset"
252 external domain_setmaxmem: handle -> domid -> int64 -> unit
254 external domain_set_memmap_limit: handle -> domid -> int64 -> unit
256 external domain_memory_increase_reservation: handle -> domid -> int64 -> unit
259 external map_foreign_range: handle -> domid -> int
263 external domain_assign_device: handle -> domid -> (int * int * int * int) -> unit
265 external domain_deassign_device: handle -> domid -> (int * int * int * int) -> unit
267 external domain_test_assign_device: handle -> domid -> (int * int * int * int) -> bool