|
 |
2c5fb56 |
--- xen-4.4.1/tools/ocaml/libs/xb/xs_ring_stubs.c.orig 2014-09-02 07:20:19.000000000 +0100
|
|
|
2c5fb56 |
+++ xen-4.4.1/tools/ocaml/libs/xb/xs_ring_stubs.c 2014-09-02 21:42:36.164254201 +0100
|
|
|
2c5fb56 |
@@ -20,6 +20,7 @@
|
|
|
2c5fb56 |
#include <unistd.h>
|
|
|
2c5fb56 |
#include <errno.h>
|
|
|
2c5fb56 |
#include <string.h>
|
|
|
2c5fb56 |
+#include <stdint.h>
|
|
|
2c5fb56 |
|
|
|
2c5fb56 |
#include <xenctrl.h>
|
|
|
2c5fb56 |
#include <xen/io/xs_wire.h>
|
|
|
2c5fb56 |
@@ -42,8 +43,8 @@
|
|
|
2c5fb56 |
XENSTORE_RING_IDX cons, prod; /* offsets only */
|
|
|
2c5fb56 |
int to_read;
|
|
|
2c5fb56 |
|
|
|
2c5fb56 |
- cons = *(volatile uint32*)&intf->req_cons;
|
|
|
2c5fb56 |
- prod = *(volatile uint32*)&intf->req_prod;
|
|
|
2c5fb56 |
+ cons = *(volatile uint32_t*)&intf->req_cons;
|
|
|
2c5fb56 |
+ prod = *(volatile uint32_t*)&intf->req_prod;
|
|
|
2c5fb56 |
xen_mb();
|
|
|
2c5fb56 |
|
|
|
2c5fb56 |
if ((prod - cons) > XENSTORE_RING_SIZE)
|
|
|
2c5fb56 |
@@ -72,8 +73,8 @@
|
|
|
2c5fb56 |
XENSTORE_RING_IDX cons, prod;
|
|
|
2c5fb56 |
int can_write;
|
|
|
2c5fb56 |
|
|
|
2c5fb56 |
- cons = *(volatile uint32*)&intf->rsp_cons;
|
|
|
2c5fb56 |
- prod = *(volatile uint32*)&intf->rsp_prod;
|
|
|
2c5fb56 |
+ cons = *(volatile uint32_t*)&intf->rsp_cons;
|
|
|
2c5fb56 |
+ prod = *(volatile uint32_t*)&intf->rsp_prod;
|
|
|
2c5fb56 |
xen_mb();
|
|
|
2c5fb56 |
if ( (prod - cons) >= XENSTORE_RING_SIZE )
|
|
|
2c5fb56 |
return 0;
|