Lines Matching refs:INVALID_DOMID
469 *r_domid = INVALID_DOMID; in handle_domain_death()
526 *r_domid = INVALID_DOMID; in preserve_domain()
649 uint32_t domid = INVALID_DOMID; in create_domain()
680 uint32_t domid_soft_reset = INVALID_DOMID; in create_domain()
880 assert(domid == INVALID_DOMID); in create_domain()
888 if (domid_soft_reset == INVALID_DOMID) { in create_domain()
936 } else if (domid_soft_reset != INVALID_DOMID) { in create_domain()
941 domid_soft_reset = INVALID_DOMID; in create_domain()
1041 domid = INVALID_DOMID; in create_domain()
1044 if (domid_soft_reset == INVALID_DOMID && in create_domain()
1128 domid = INVALID_DOMID; in create_domain()