diff options
-rw-r--r-- | extras/mini-os/include/lib.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 96e17ecd4c..0acb0fc4e2 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -162,7 +162,7 @@ extern struct file { * wakes select for this FD. */ struct { evtchn_port_t port; - volatile unsigned long pending; + unsigned long pending; int bound; } ports[MAX_EVTCHN_PORTS]; } evtchn; @@ -181,7 +181,7 @@ extern struct file { xenbus_event_queue events; } xenbus; }; - volatile int read; /* maybe available for read */ + int read; /* maybe available for read */ } files[]; int alloc_fd(enum fd_type type); |