dev: more device type alignment

diff --git a/Kernel/dev/devrd.c b/Kernel/dev/devrd.c
index 85c5358..7ac5e68 100644 (file)
--- a/Kernel/dev/devrd.c
+++ b/Kernel/dev/devrd.c
@@ -24,7 +24,7 @@ static const uint32_t dev_start[NUM_DEV_RD] = {
 };
 
 /* implements both rd_read and rd_write */
-int rd_transfer(uint8_t minor, uint8_t rawflag, uint8_t flag)
+int rd_transfer(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag)
 {
     used(flag);
 
@@ -54,7 +54,7 @@ int rd_transfer(uint8_t minor, uint8_t rawflag, uint8_t flag)
     return rd_cpy_count;
 }
 
-int rd_open(uint8_t minor, uint16_t flags)
+int rd_open(uint_fast8_t minor, uint16_t flags)
 {
     flags; /* unused */
 

diff --git a/Kernel/dev/devrd.h b/Kernel/dev/devrd.h
index 5918448..b6d2de1 100644 (file)
--- a/Kernel/dev/devrd.h
+++ b/Kernel/dev/devrd.h
@@ -7,10 +7,10 @@
 #define NUM_DEV_RD       2
 
 /* public interface */
-int rd_open(uint8_t minor, uint16_t flags);
-int rd_read(uint8_t minor, uint8_t rawflag, uint8_t flag);
-int rd_write(uint8_t minor, uint8_t rawflag, uint8_t flag);
-int rd_transfer(uint8_t minor, uint8_t rawflag, uint8_t flag);
+int rd_open(uint_fast8_t minor, uint16_t flags);
+int rd_read(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag);
+int rd_write(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag);
+int rd_transfer(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag);
 
 #ifdef DEVRD_PRIVATE
 /* The basic operation supported by devrd_hw is a memory copy

diff --git a/Kernel/dev/ds1302.c b/Kernel/dev/ds1302.c
index f141170..5008166 100644 (file)
--- a/Kernel/dev/ds1302.c
+++ b/Kernel/dev/ds1302.c
@@ -80,7 +80,7 @@ void ds1302_read_clock(uint8_t *buffer, uint8_t length)
 }
 
 /* define CONFIG_RTC in platform's config.h to hook this into timer.c */
-uint8_t platform_rtc_secs(void)
+uint_fast8_t platform_rtc_secs(void)
 {
     uint8_t buffer;
     if (ds1302_present) {