Searched refs:vki_xen_domid_t (Results 1 – 10 of 10) sorted by relevance
35 vki_xen_domid_t domid; /* IN */42 vki_xen_domid_t domid;50 vki_xen_domid_t domid;58 vki_xen_domid_t domid;66 vki_xen_domid_t domid; /* IN */75 vki_xen_domid_t domid;84 vki_xen_domid_t domid;93 vki_xen_domid_t domid;101 vki_xen_domid_t domid;
60 vki_xen_domid_t domid;69 vki_xen_domid_t domid;79 vki_xen_domid_t domid;94 vki_xen_domid_t domid;100 vki_xen_domid_t domain;
39 vki_xen_domid_t domid;58 vki_xen_domid_t domid;
65 vki_xen_domid_t first_domain;74 vki_xen_domid_t first_domain;83 vki_xen_domid_t first_domain;
137 vki_xen_domid_t domain;156 vki_xen_domid_t domain;175 vki_xen_domid_t domain;582 vki_xen_domid_t domain;
41 vki_xen_domid_t domain_id;
48 vki_xen_domid_t dom;
48 vki_xen_domid_t dom, remote_dom;
79 typedef vki_uint16_t vki_xen_domid_t; typedef
124 (Addr)ARG2, sizeof(vki_xen_domid_t)); in PRE()720 + sizeof(vki_xen_domid_t)); in PRE()