Richard Braun 6923672268 Update device drivers for highmem support 7 years ago
..
public 7bbfa39f59 Use uint32_t instead of unsigned32_t. 8 years ago
Makefrag.am e5882d5fb3 Fix "make dist" 13 years ago
block.c 6923672268 Update device drivers for highmem support 7 years ago
block.h 54771e827e Fix copyright assignment 12 years ago
configfrag.ac 6b010591cb Add initial code for disabling PV pagetables 11 years ago
console.c 3604c418a7 Avoid using non-ascii source encoding 7 years ago
console.h 23bda7b956 xen: fix prototype 8 years ago
evt.c a7f248bf76 Fix gcc-6 warnings 8 years ago
evt.h 54771e827e Fix copyright assignment 12 years ago
grant.c ed32cdc81b Bump NR_GRANT_PAGES 9 years ago
grant.h 54771e827e Fix copyright assignment 12 years ago
net.c 6923672268 Update device drivers for highmem support 7 years ago
net.h 54771e827e Fix copyright assignment 12 years ago
ring.c 54771e827e Fix copyright assignment 12 years ago
ring.h 7bbfa39f59 Use uint32_t instead of unsigned32_t. 8 years ago
store.c 7bbfa39f59 Use uint32_t instead of unsigned32_t. 8 years ago
store.h 7bbfa39f59 Use uint32_t instead of unsigned32_t. 8 years ago
time.c 8f2a4990d1 xen: fix build 8 years ago
time.h 7bbfa39f59 Use uint32_t instead of unsigned32_t. 8 years ago
xen.c 54771e827e Fix copyright assignment 12 years ago
xen.h 54771e827e Fix copyright assignment 12 years ago