Home | Sort by relevance Sort by last modified time |
/external/valgrind/include/vki/ | |
vki-xen-domctl.h | 407 struct vki_xen_domctl_set_max_evtchn set_max_evtchn; member in union:vki_xen_domctl::__anon20815 |
/external/valgrind/coregrind/m_syswrap/ | |
syswrap-xen.c | 805 PRE_XEN_DOMCTL_READ(set_max_evtchn, max_port); [all...] |