Searched refs:set_max_evtchn (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/include/vki/
H A Dvki-xen-domctl.h377 struct vki_xen_domctl_set_max_evtchn set_max_evtchn; member in union:vki_xen_domctl::__anon32988
/external/valgrind/main/coregrind/m_syswrap/
H A Dsyswrap-xen.c768 PRE_XEN_DOMCTL_READ(set_max_evtchn, max_port);

Completed in 293 milliseconds