ia64/xen-unstable

view xen/include/xen/domain.h @ 6552:a9873d384da4

Merge.
author adsharma@los-vmm.sc.intel.com
date Thu Aug 25 12:24:48 2005 -0700 (2005-08-25)
parents 112d44270733 fa0754a9f64f
children dfaf788ab18c
line source
2 #ifndef __XEN_DOMAIN_H__
3 #define __XEN_DOMAIN_H__
5 /*
6 * Arch-specifics.
7 */
9 struct vcpu *arch_alloc_vcpu_struct(void);
11 extern void arch_free_vcpu_struct(struct vcpu *v);
13 extern void arch_do_createdomain(struct vcpu *v);
15 extern void arch_do_boot_vcpu(struct vcpu *v);
17 extern int arch_set_info_guest(
18 struct vcpu *v, struct vcpu_guest_context *c);
20 extern void vcpu_migrate_cpu(struct vcpu *v, int newcpu);
22 extern void free_perdomain_pt(struct domain *d);
24 extern void domain_relinquish_resources(struct domain *d);
26 extern void dump_pageframe_info(struct domain *d);
28 #endif /* __XEN_DOMAIN_H__ */