From 03c12c4c789b137cda447ca2a96688952e517417 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beat=20K=C3=BCng?= Date: Tue, 18 Oct 2016 13:15:34 +0200 Subject: [PATCH] Device: use uint16_t for _open_count instead of int (save space) --- src/drivers/device/device_nuttx.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/drivers/device/device_nuttx.h b/src/drivers/device/device_nuttx.h index 2ef5c7ddfb..3a3e2d16be 100644 --- a/src/drivers/device/device_nuttx.h +++ b/src/drivers/device/device_nuttx.h @@ -455,7 +455,7 @@ private: const char *_devname; /**< device node name */ bool _registered; /**< true if device name was registered */ - unsigned _open_count; /**< number of successful opens */ + uint16_t _open_count; /**< number of successful opens */ struct pollfd *_pollset[_max_pollwaiters];