blob: 46c2e4bb5d7a898561cd8074d895f0eb9d33a2b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#ifndef __XEN_DOMAIN_H__
#define __XEN_DOMAIN_H__
/*
* Arch-specifics.
*/
struct vcpu *arch_alloc_vcpu_struct(void);
extern void arch_free_vcpu_struct(struct vcpu *v);
extern void arch_do_createdomain(struct vcpu *v);
extern void arch_do_boot_vcpu(struct vcpu *v);
extern int arch_set_info_guest(
struct vcpu *d, struct vcpu_guest_context *c);
extern void free_perdomain_pt(struct domain *d);
extern void domain_relinquish_resources(struct domain *d);
extern void dump_pageframe_info(struct domain *d);
#endif /* __XEN_DOMAIN_H__ */
|