commit 00b1784c3a3d90e1abac40b6c7de3ebbbb05b6a2
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Nov 4 17:53:40 2024 +0100

    More device_get_status count fixes

diff --git a/fstests/opendisk.c b/fstests/opendisk.c
index 0e87b141..a584ce1a 100644
--- a/fstests/opendisk.c
+++ b/fstests/opendisk.c
@@ -36,9 +36,9 @@ main (int argc, char **argv)
   mach_port_t hostpriv, devicemaster;
   mach_port_t device;
   int sizes[DEV_GET_SIZE_COUNT];
-  int sizescnt = DEV_GET_SIZE_COUNT;
+  mach_msg_type_number_t sizescnt = DEV_GET_SIZE_COUNT;
   struct disklabel label;
-  int labelcnt = sizeof label / sizeof (int);
+  mach_msg_type_number_t labelcnt = sizeof label / sizeof (int);
   int i;
 
   errno = get_privileged_ports (&hostpriv, &devicemaster);
diff --git a/lwip/port/netif/hurdethif.c b/lwip/port/netif/hurdethif.c
index 68d7680b..b55c7edb 100644
--- a/lwip/port/netif/hurdethif.c
+++ b/lwip/port/netif/hurdethif.c
@@ -89,7 +89,7 @@ static error_t
 hurdethif_device_get_flags (struct netif *netif, uint16_t * flags)
 {
   error_t err = 0;
-  size_t count;
+  mach_msg_type_number_t count;
   struct net_status status;
   hurdethif *ethif;
 
@@ -457,7 +457,7 @@ err_t
 hurdethif_device_init (struct netif *netif)
 {
   error_t err;
-  size_t count = 2;
+  mach_msg_type_number_t count = 2;
   int net_address[2];
   device_t ether_port;
   hurdethif *ethif;
diff --git a/mach-defpager/setup.c b/mach-defpager/setup.c
index e928dcc2..74ab3368 100644
--- a/mach-defpager/setup.c
+++ b/mach-defpager/setup.c
@@ -48,7 +48,7 @@ S_default_pager_paging_storage_new (mach_port_t pager,
 {
   struct file_direct *fdp;
   int sizes[DEV_GET_RECORDS_COUNT];
-  natural_t count;
+  mach_msg_type_number_t count;
   mach_msg_type_number_t i;
   error_t err;
   recnum_t devsize;
