Searched refs:idle_domain (Results 1 – 1 of 1) sorted by relevance
1676 struct domain *idle_domain; in scheduler_init() local1723 idle_domain = domain_create(DOMID_IDLE, 0, 0, NULL); in scheduler_init()1724 BUG_ON(IS_ERR(idle_domain)); in scheduler_init()1725 idle_domain->vcpu = idle_vcpu; in scheduler_init()1726 idle_domain->max_vcpus = nr_cpu_ids; in scheduler_init()1727 if ( alloc_vcpu(idle_domain, 0, 0) == NULL ) in scheduler_init()
Completed in 5 milliseconds