1 /******************************************************************************
2  *
3  * Copyright (c) 2007-2008, D G Murray <Derek.Murray@cl.cam.ac.uk>
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation;
8  * version 2.1 of the License.
9  *
10  * This library 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 GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; If not, see <http://www.gnu.org/licenses/>.
17  *
18  * Split out from xc_gnttab.c
19  */
20 
21 #include <stdlib.h>
22 
23 #include "private.h"
24 
xengntshr_open(xentoollog_logger * logger,unsigned open_flags)25 xengntshr_handle *xengntshr_open(xentoollog_logger *logger, unsigned open_flags)
26 {
27     return NULL;
28 }
29 
xengntshr_close(xengntshr_handle * xgs)30 int xengntshr_close(xengntshr_handle *xgs)
31 {
32     return 0;
33 }
34 
xengntshr_share_pages(xengntshr_handle * xcg,uint32_t domid,int count,uint32_t * refs,int writable)35 void *xengntshr_share_pages(xengntshr_handle *xcg, uint32_t domid,
36                             int count, uint32_t *refs, int writable)
37 {
38     abort();
39 }
40 
xengntshr_share_page_notify(xengntshr_handle * xcg,uint32_t domid,uint32_t * ref,int writable,uint32_t notify_offset,evtchn_port_t notify_port)41 void *xengntshr_share_page_notify(xengntshr_handle *xcg, uint32_t domid,
42                                   uint32_t *ref, int writable,
43                                   uint32_t notify_offset,
44                                   evtchn_port_t notify_port)
45 {
46     abort();
47 }
48 
xengntshr_unshare(xengntshr_handle * xgs,void * start_address,uint32_t count)49 int xengntshr_unshare(xengntshr_handle *xgs, void *start_address, uint32_t count)
50 {
51     abort();
52 }
53 
54 /*
55  * Local variables:
56  * mode: C
57  * c-file-style: "BSD"
58  * c-basic-offset: 4
59  * tab-width: 4
60  * indent-tabs-mode: nil
61  * End:
62  */
63