Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added missing pause/continue utilities
[palacios.releases.git] / palacios / include / palacios / vmm_queue.h
1 /*
2  * This file is part of the Palacios Virtual Machine Monitor developed
3  * by the V3VEE Project with funding from the United States National 
4  * Science Foundation and the Department of Energy.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
12  * All rights reserved.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20
21 #ifndef __VMM_QUEUE_H__
22 #define __VMM_QUEUE_H__
23
24 #ifdef __V3VEE__
25
26 #include <palacios/vmm.h>
27 #include <palacios/vmm_list.h>
28 #include <palacios/vmm_lock.h>
29
30
31
32
33 struct v3_queue_entry {
34     addr_t entry;
35     struct list_head entry_list;
36 };
37
38
39 struct v3_queue {
40     uint_t num_entries;
41     struct list_head entries;
42     v3_lock_t lock;
43 };
44
45
46 struct v3_queue * v3_create_queue();
47 void v3_init_queue(struct v3_queue * queue);
48
49 void v3_enqueue(struct v3_queue * queue, addr_t entry);
50 addr_t v3_dequeue(struct v3_queue * queue);
51
52
53
54 #endif // ! __V3VEE__
55
56 #endif