debuggers.hg

view tools/memshr/memshr.h @ 22848:6341fe0f4e5a

Added tag 4.1.0-rc2 for changeset 9dca60d88c63
author Keir Fraser <keir@xen.org>
date Tue Jan 25 14:06:55 2011 +0000 (2011-01-25)
parents 47ec2d131c22
children
line source
1 /******************************************************************************
2 *
3 * Copyright (c) 2009 Citrix Systems, Inc. (Grzegorz Milos)
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18 */
19 #ifndef __MEMSHR_H__
20 #define __MEMSHR_H__
22 #include <stdint.h>
23 #include <xen/xen.h>
24 #include <xen/grant_table.h>
26 typedef uint64_t xen_mfn_t;
28 extern void memshr_set_domid(int domid);
29 extern void memshr_daemon_initialize(void);
30 extern void memshr_vbd_initialize(void);
31 extern uint16_t memshr_vbd_image_get(char* file);
32 extern void memshr_vbd_image_put(uint16_t memshr_id);
33 extern int memshr_vbd_issue_ro_request(char *buf,
34 grant_ref_t gref,
35 uint16_t file_id,
36 uint64_t sec,
37 int secs,
38 uint64_t *hnd);
39 extern void memshr_vbd_complete_ro_request(
40 uint64_t hnd,
41 uint16_t file_id,
42 uint64_t sec,
43 int secs);
45 #endif /* __MEMSHR_H__ */