Searched refs:vki_xen_domid_t (Results 1 – 8 of 8) sorted by relevance
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;
31 vki_xen_domid_t domid;40 vki_xen_domid_t domid;50 vki_xen_domid_t domid;65 vki_xen_domid_t domid;
64 vki_xen_domid_t first_domain;73 vki_xen_domid_t first_domain;82 vki_xen_domid_t first_domain;
103 vki_xen_domid_t domain;122 vki_xen_domid_t domain;141 vki_xen_domid_t domain;325 vki_xen_domid_t domain;
21 vki_xen_domid_t dom;
21 vki_xen_domid_t dom, remote_dom;
52 typedef vki_uint16_t vki_xen_domid_t; typedef
103 (Addr)ARG2, sizeof(vki_xen_domid_t)); in PRE()553 + sizeof(vki_xen_domid_t)); in PRE()