commit 499dea307cb900d53beed8c119cd7d8e76a530eb
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Feb 22 22:49:47 2022 +0100

    rumpdisk: Fix BLKRRPART value
    
    We have always been using the Linux value, coming from the Linux glue
    code.

diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c
index ba32ef2f..ab99f517 100644
--- a/rumpdisk/block-rump.c
+++ b/rumpdisk/block-rump.c
@@ -43,7 +43,7 @@
 #define DIOCGMEDIASIZE  _IOR('d', 132, off_t)
 #define DIOCGSECTORSIZE _IOR('d', 133, unsigned int)
 
-#define BLKRRPART  _IO(0x12,95)     /* re-read partition table */
+#define BLKRRPART  0x125F     /* re-read partition table */
 
 #define DISK_NAME_LEN 32
 #define MAX_DISK_DEV 2
