Home
last modified time | relevance | path

Searched defs:max_evtchn_port (Results 1 – 4 of 4) sorted by relevance

/xen/tools/ocaml/libs/xc/
A Dxenctrl.ml78 max_evtchn_port: int; RecordField
A Dxenctrl.mli70 max_evtchn_port: int; RecordField
/xen/xen/include/xen/
A Dsched.h364 unsigned int max_evtchn_port; /* max permitted port number */ member
/xen/xen/include/public/
A Ddomctl.h92 uint32_t max_evtchn_port; member

Completed in 11 milliseconds