[UNIKRAFT PATCH 3/7] lib/ukblkdev: blkreq.h: Use typedef for __sector

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Introduces `__sector` with a type definition instead with an alias macro.
This is done for consistency reasons. Additionally, the print format macro
`__PRIsctr` is introduced so that a sector number can be printed
correctly.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 lib/ukblkdev/include/uk/blkreq.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/ukblkdev/include/uk/blkreq.h b/lib/ukblkdev/include/uk/blkreq.h
index 17daa6b5..5b1b5f13 100644
--- a/lib/ukblkdev/include/uk/blkreq.h
+++ b/lib/ukblkdev/include/uk/blkreq.h
@@ -47,9 +47,12 @@
 extern "C" {
 #endif
 
-#define __sector size_t
+#include <uk/arch/limits.h>
 #include <uk/arch/atomic.h>
 
+typedef __sz __sector;
+#define __PRIsctr __PRIsz
+
 struct uk_blkreq;
 
 /**
-- 
2.20.1