Searched defs:domain_id (Results 1 – 7 of 7) sorted by relevance
56 u32 domain_id; member76 u32 next_state, u32 domain_id) in psc_config()
146 domid_t domain_id; /* Remote domain ID */ member
87 domid_t domain_id; member
23 int domain_id; member
85 uint16_t domain_id; member
1139 GUID domain_id; member1163 GUID domain_id; /* Reserved, zero. */ member
479 __u32 domain_id; member