"event-channel", "%d", Dev->EventChannel);\r
if (Status != XENSTORE_STATUS_SUCCESS) {\r
DEBUG ((EFI_D_ERROR, "XenPvBlk: Failed to write event-channel.\n"));\r
goto AbortTransaction;\r
}\r
"event-channel", "%d", Dev->EventChannel);\r
if (Status != XENSTORE_STATUS_SUCCESS) {\r
DEBUG ((EFI_D_ERROR, "XenPvBlk: Failed to write event-channel.\n"));\r
goto AbortTransaction;\r
}\r