Home
last modified time | relevance | path

Searched refs:vki_xen_domid_t (Results 1 – 8 of 8) sorted by relevance

/external/valgrind/main/include/vki/
Dvki-xen-hvm.h8 vki_xen_domid_t domid; /* IN */
15 vki_xen_domid_t domid;
23 vki_xen_domid_t domid;
31 vki_xen_domid_t domid;
Dvki-xen-memory.h31 vki_xen_domid_t domid;
40 vki_xen_domid_t domid;
50 vki_xen_domid_t domid;
65 vki_xen_domid_t domid;
Dvki-xen-sysctl.h64 vki_xen_domid_t first_domain;
73 vki_xen_domid_t first_domain;
82 vki_xen_domid_t first_domain;
Dvki-xen-domctl.h103 vki_xen_domid_t domain;
122 vki_xen_domid_t domain;
141 vki_xen_domid_t domain;
325 vki_xen_domid_t domain;
Dvki-xen-gnttab.h21 vki_xen_domid_t dom;
Dvki-xen-evtchn.h21 vki_xen_domid_t dom, remote_dom;
Dvki-xen.h52 typedef vki_uint16_t vki_xen_domid_t; typedef
/external/valgrind/main/coregrind/m_syswrap/
Dsyswrap-xen.c103 (Addr)ARG2, sizeof(vki_xen_domid_t)); in PRE()
553 + sizeof(vki_xen_domid_t)); in PRE()