ia64/xen-unstable

view xen/include/xen/domain.h @ 10293:4122e88b6c75

Move idle-vcpu allocation logic to a common function.
Signed-off-by: Kevin Tian <kevin.tian@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Fri Jun 02 09:31:35 2006 +0100 (2006-06-02)
parents 6993a0f91efc
children a10ef8002af6
line source
2 #ifndef __XEN_DOMAIN_H__
3 #define __XEN_DOMAIN_H__
5 struct vcpu *alloc_vcpu(
6 struct domain *d, unsigned int vcpu_id, unsigned int cpu_id);
7 int boot_vcpu(
8 struct domain *d, int vcpuid, struct vcpu_guest_context *ctxt);
9 struct vcpu *alloc_idle_vcpu(unsigned int cpu_id);
11 struct domain *alloc_domain(domid_t domid);
12 void free_domain(struct domain *d);
14 /*
15 * Arch-specifics.
16 */
18 struct vcpu *alloc_vcpu_struct(struct domain *d, unsigned int vcpu_id);
20 void free_vcpu_struct(struct vcpu *v);
22 int arch_domain_create(struct domain *d);
24 void arch_domain_destroy(struct domain *d);
26 int arch_set_info_guest(struct vcpu *v, struct vcpu_guest_context *c);
28 void domain_relinquish_resources(struct domain *d);
30 void dump_pageframe_info(struct domain *d);
32 void arch_dump_domain_info(struct domain *d);
34 #endif /* __XEN_DOMAIN_H__ */