debuggers.hg

view xen/include/xen/domain.h @ 3691:32d29625d39b

bitkeeper revision 1.1159.212.88 (4203fbb5CoEmX_fzlXc90dxNw6gqoA)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into labyrinth.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bkX
author iap10@labyrinth.cl.cam.ac.uk
date Fri Feb 04 22:48:21 2005 +0000 (2005-02-04)
parents 0ef6e8e6e85d 6e6976c1a545
children 61899d6ae2eb 523e995bcc57
line source
2 #ifndef __XEN_DOMAIN_H__
3 #define __XEN_DOMAIN_H__
5 /*
6 * Arch-specifics.
7 */
9 extern struct domain *arch_alloc_domain_struct(void);
11 extern void arch_free_domain_struct(struct domain *d);
13 struct exec_domain *arch_alloc_exec_domain_struct(void);
15 extern void arch_free_exec_domain_struct(struct exec_domain *ed);
17 extern void arch_do_createdomain(struct exec_domain *ed);
19 extern int arch_final_setup_guestos(
20 struct exec_domain *d, full_execution_context_t *c);
22 extern void free_perdomain_pt(struct domain *d);
24 extern void domain_relinquish_memory(struct domain *d);
26 extern void dump_pageframe_info(struct domain *d);
28 #endif /* __XEN_DOMAIN_H__ */