return true;
}
+void __init arch_init_idle_domain(struct domain *d)
+{
+ static const struct arch_csw idle_csw = {
+ .from = paravirt_ctxt_switch_from,
+ .to = paravirt_ctxt_switch_to,
+ .tail = idle_loop,
+ };
+
+ d->arch.ctxt_switch = &idle_csw;
+}
+
int arch_domain_create(struct domain *d,
struct xen_domctl_createdomain *config,
unsigned int flags)
/* Minimal initialisation for the idle domain. */
if ( unlikely(is_idle_domain(d)) )
{
- static const struct arch_csw idle_csw = {
- .from = paravirt_ctxt_switch_from,
- .to = paravirt_ctxt_switch_to,
- .tail = idle_loop,
- };
-
- d->arch.ctxt_switch = &idle_csw;
-
- d->arch.cpu_policy = ZERO_BLOCK_PTR; /* Catch stray misuses. */
-
return 0;
}
/* Maxphysaddr supportable by the paging infrastructure. */
unsigned int domain_max_paddr_bits(const struct domain *d);
+#define arch_init_idle_domain arch_init_idle_domain
+void arch_init_idle_domain(struct domain *d);
+
#endif /* __ASM_DOMAIN_H__ */
/*