debuggers.hg

annotate xen/include/xen/domain.h @ 3658:0ef6e8e6e85d

bitkeeper revision 1.1159.212.71 (4200f0afX_JumfbEHQex6TdFENULMQ)

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.bk
author iap10@labyrinth.cl.cam.ac.uk
date Wed Feb 02 15:24:31 2005 +0000 (2005-02-02)
parents 610068179f96 552dd1f1c64c
children bbe8541361dd 6e6976c1a545 32d29625d39b
rev   line source
kaf24@3310 1
kaf24@3310 2 #ifndef __XEN_DOMAIN_H__
kaf24@3310 3 #define __XEN_DOMAIN_H__
kaf24@3310 4
kaf24@3310 5 /*
kaf24@3310 6 * Arch-specifics.
kaf24@3310 7 */
kaf24@3310 8
iap10@3654 9 extern void domain_startofday(void);
iap10@3654 10
kaf24@3515 11 extern struct domain *arch_alloc_domain_struct(void);
kaf24@3515 12
kaf24@3515 13 extern void arch_free_domain_struct(struct domain *d);
kaf24@3515 14
kaf24@3517 15 struct exec_domain *arch_alloc_exec_domain_struct(void);
kaf24@3517 16
kaf24@3517 17 extern void arch_free_exec_domain_struct(struct exec_domain *ed);
kaf24@3517 18
kaf24@3517 19 extern void arch_do_createdomain(struct exec_domain *ed);
kaf24@3310 20
kaf24@3310 21 extern int arch_final_setup_guestos(
cl349@3318 22 struct exec_domain *d, full_execution_context_t *c);
kaf24@3310 23
kaf24@3310 24 extern void free_perdomain_pt(struct domain *d);
kaf24@3310 25
kaf24@3310 26 extern void domain_relinquish_memory(struct domain *d);
kaf24@3310 27
kaf24@3515 28 extern void dump_pageframe_info(struct domain *d);
kaf24@3515 29
kaf24@3310 30 #endif /* __XEN_DOMAIN_H__ */