xen_mb
xen_mb();
xen_mb(); /* back sees new requests /before/ we check req_event */ \
xen_mb(); /* front sees new resps /before/ we check rsp_event */ \
xen_mb(); \
xen_mb(); \