Searched refs:arch_domain_create (Results 1 – 4 of 4) sorted by relevance
58 int arch_domain_create(struct domain *d, unsigned int domcr_flags,
574 int arch_domain_create(struct domain *d, unsigned int domcr_flags, in arch_domain_create() function
379 if ( (err = arch_domain_create(d, domcr_flags, config)) != 0 ) in domain_create()
418 int arch_domain_create(struct domain *d, unsigned int domcr_flags, in arch_domain_create() function
Completed in 9 milliseconds