Added xen memory barriers