Searched refs:domain_id (Results 1 – 2 of 2) sorted by relevance
41 vki_xen_domid_t domain_id; member
406 PRE_XEN_SCHEDOP_READ(remote_shutdown, domain_id); in PRE()