HomeSort by relevance Sort by last modified time
    Searched refs:vki_xen_domid_t (Results 1 - 8 of 8) sorted by null

  /external/valgrind/include/vki/
vki-xen-memory.h 32 vki_xen_domid_t domid;
41 vki_xen_domid_t domid;
51 vki_xen_domid_t domid;
66 vki_xen_domid_t domid;
72 vki_xen_domid_t domain;
vki-xen-hvm.h 8 vki_xen_domid_t domid; /* IN */
15 vki_xen_domid_t domid;
23 vki_xen_domid_t domid;
31 vki_xen_domid_t domid;
40 vki_xen_domid_t domid;
49 vki_xen_domid_t domid;
57 vki_xen_domid_t domid;
vki-xen-evtchn.h 21 vki_xen_domid_t dom, remote_dom;
vki-xen-gnttab.h 21 vki_xen_domid_t dom;
vki-xen-sysctl.h 64 vki_xen_domid_t first_domain;
73 vki_xen_domid_t first_domain;
82 vki_xen_domid_t first_domain;
vki-xen-domctl.h 103 vki_xen_domid_t domain;
122 vki_xen_domid_t domain;
141 vki_xen_domid_t domain;
355 vki_xen_domid_t domain;
vki-xen.h 52 typedef vki_uint16_t vki_xen_domid_t; typedef
  /external/valgrind/coregrind/m_syswrap/
syswrap-xen.c 102 (Addr)ARG2, sizeof(vki_xen_domid_t));
560 * vki_xen_domid_t domain;
564 + sizeof(vki_xen_domid_t));
    [all...]

Completed in 1009 milliseconds