debuggers.hg
view xen/include/xen/domain.h @ 3685:bbe8541361dd
bitkeeper revision 1.1159.1.542 (42038a42_52IAalMZRKdTn0UbVN5fw)
Merge tempest.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xeno.bk
into tempest.cl.cam.ac.uk:/local/scratch/smh22/xen-unstable.bk
Merge tempest.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xeno.bk
into tempest.cl.cam.ac.uk:/local/scratch/smh22/xen-unstable.bk
author | smh22@tempest.cl.cam.ac.uk |
---|---|
date | Fri Feb 04 14:44:18 2005 +0000 (2005-02-04) |
parents | bb56e77896e7 0ef6e8e6e85d |
children | 88957a238191 |
line source
2 #ifndef __XEN_DOMAIN_H__
3 #define __XEN_DOMAIN_H__
5 /*
6 * Arch-specifics.
7 */
9 extern void domain_startofday(void);
11 extern struct domain *arch_alloc_domain_struct(void);
13 extern void arch_free_domain_struct(struct domain *d);
15 struct exec_domain *arch_alloc_exec_domain_struct(void);
17 extern void arch_free_exec_domain_struct(struct exec_domain *ed);
19 extern void arch_do_createdomain(struct exec_domain *ed);
21 extern int arch_final_setup_guestos(
22 struct exec_domain *d, full_execution_context_t *c);
24 extern void free_perdomain_pt(struct domain *d);
26 extern void domain_relinquish_memory(struct domain *d);
28 extern void dump_pageframe_info(struct domain *d);
30 #endif /* __XEN_DOMAIN_H__ */