Searched refs:set_max_evtchn (Results 1 – 2 of 2) sorted by relevance
529 struct vki_xen_domctl_set_max_evtchn set_max_evtchn; member
1126 PRE_XEN_DOMCTL_READ(set_max_evtchn, max_port); in PRE()