debuggers.hg

view tools/xenpaging/xenpaging.h @ 21067:b4a1832a916f

Update Xen version to 4.0.0-rc6
author Keir Fraser <keir.fraser@citrix.com>
date Tue Mar 09 18:18:05 2010 +0000 (2010-03-09)
parents 47ec2d131c22
children 779c0ef9682c
line source
1 /******************************************************************************
2 * tools/xenpaging/xenpaging.h
3 *
4 * Xen domain paging.
5 *
6 * Copyright (c) 2009 Citrix Systems, Inc. (Patrick Colp)
7 *
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21 */
24 #ifndef __XEN_PAGING2_H__
25 #define __XEN_PAGING2_H__
28 #include "spinlock.h"
29 #include "xc.h"
30 #include <xc_private.h>
32 #include <xen/event_channel.h>
33 #include <xen/mem_event.h>
35 #include "mem_event.h"
38 typedef struct xenpaging {
39 int xc_handle;
41 xc_platform_info_t *platform_info;
42 xc_domaininfo_t *domain_info;
44 unsigned long bitmap_size;
45 unsigned long *bitmap;
47 mem_event_t mem_event;
48 } xenpaging_t;
51 typedef struct xenpaging_victim {
52 /* the domain to evict a page from */
53 domid_t domain_id;
54 /* the gfn of the page to evict */
55 unsigned long gfn;
56 /* the mfn of evicted page */
57 unsigned long mfn;
58 } xenpaging_victim_t;
61 #endif // __XEN_PAGING_H__
64 /*
65 * Local variables:
66 * mode: C
67 * c-set-style: "BSD"
68 * c-basic-offset: 4
69 * tab-width: 4
70 * indent-tabs-mode: nil
71 * End:
72 */