|
@@ -41,6 +41,7 @@
|
|
|
#include <linux/percpu.h>
|
|
|
#include <linux/cpu.h>
|
|
|
|
|
|
+#include <asm/barrier.h>
|
|
|
#include <asm/sync_bitops.h>
|
|
|
#include <asm/xen/hypercall.h>
|
|
|
#include <asm/xen/hypervisor.h>
|
|
@@ -296,7 +297,7 @@ static void consume_one_event(unsigned cpu,
|
|
|
* control block.
|
|
|
*/
|
|
|
if (head == 0) {
|
|
|
- rmb(); /* Ensure word is up-to-date before reading head. */
|
|
|
+ virt_rmb(); /* Ensure word is up-to-date before reading head. */
|
|
|
head = control_block->head[priority];
|
|
|
}
|
|
|
|