Searched refs:is_system_domain (Results 1 – 4 of 4) sorted by relevance
369 ASSERT(is_system_domain(d) ? config == NULL : config != NULL); in domain_create()391 if ( !is_system_domain(d) ) in domain_create()437 if ( is_system_domain(d) && !is_idle_domain(d) ) in domain_create()
187 if ( ret || is_system_domain(d) ) in iommu_domain_init()
558 static inline bool is_system_domain(const struct domain *d) in is_system_domain() function
2384 ASSERT(!is_system_domain(d)); in tsc_set_info()
Completed in 13 milliseconds