From 9d236e8e0388c8c4711d85cd43489a20de38742d Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 14 Feb 2019 11:01:03 +0100
Subject: [PATCH] block/request: fixed enum values

---
 repos/os/include/block/request.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/include/block/request.h b/repos/os/include/block/request.h
index 66e95d1445..0b7f7e5ec0 100644
--- a/repos/os/include/block/request.h
+++ b/repos/os/include/block/request.h
@@ -22,8 +22,8 @@ namespace Block { struct Request; }
 
 struct Block::Request
 {
-	enum class Operation : Genode::uint32_t { INVALID, READ, WRITE, SYNC };
-	enum class Success   : Genode::uint32_t { FALSE, TRUE };
+	enum class Operation : Genode::uint32_t { INVALID = 0, READ = 1, WRITE = 2, SYNC = 3 };
+	enum class Success   : Genode::uint32_t { FALSE = 0, TRUE = 1 };
 
 	Operation         operation;
 	Success           success;