dev: sync more types

diff --git a/Kernel/dev/devfd.c b/Kernel/dev/devfd.c
index 12ad30b..ddffe85 100644 (file)
--- a/Kernel/dev/devfd.c
+++ b/Kernel/dev/devfd.c
@@ -66,9 +66,9 @@ struct {
 #endif
 };
 
-static int fd_transfer(bool rwflag, uint8_t minor, uint8_t rawflag)
+static int fd_transfer(bool rwflag, uint_fast8_t minor, uint_fast8_t rawflag)
 {
-       uint8_t nblocks, blocks;
+       uint_fast8_t nblocks, blocks;
        uint16_t firstblk;
        uint16_t retc;
        irqflags_t irq;
@@ -136,19 +136,19 @@ failout:
        return -1;
 }
 
-int fd_read(uint8_t minor, uint8_t rawflag, uint8_t flag)
+int fd_read(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag)
 {
        flag; /* unused */
        return fd_transfer(true, minor, rawflag);
 }
 
-int fd_write(uint8_t minor, uint8_t rawflag, uint8_t flag)
+int fd_write(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag)
 {
        flag; /* unused */
        return fd_transfer(false, minor, rawflag);
 }
 
-int fd_open(uint8_t minor, uint16_t flags)
+int fd_open(uint_fast8_t minor, uint16_t flags)
 {
        flags; /* unused */
 
@@ -160,7 +160,7 @@ int fd_open(uint8_t minor, uint16_t flags)
        return 0;
 }
 
-int fd_close(uint8_t minor)
+int fd_close(uint_fast8_t minor)
 {
        devfd_dtbl[minor].logged = 0;   /* Mark Drive as logged out */
        return 0;

diff --git a/Kernel/dev/devfd.h b/Kernel/dev/devfd.h
index 2019c57..1f4ea71 100644 (file)
--- a/Kernel/dev/devfd.h
+++ b/Kernel/dev/devfd.h
@@ -2,10 +2,10 @@
 #define __DEVFD_DOT_H__
 
 /* public interface */
-int fd_read(uint8_t minor, uint8_t rawflag, uint8_t flag);
-int fd_write(uint8_t minor, uint8_t rawflag, uint8_t flag);
-int fd_open(uint8_t minor, uint16_t flags);
-int fd_close(uint8_t minor);
+int fd_read(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag);
+int fd_write(uint_fast8_t minor, uint_fast8_t rawflag, uint_fast8_t flag);
+int fd_open(uint_fast8_t minor, uint16_t flags);
+int fd_close(uint_fast8_t minor);
 void fd_tick(void);
 
 #endif

diff --git a/Kernel/dev/ppide_rbc.c b/Kernel/dev/ppide_rbc.c
index f3214e2..ed69653 100644 (file)
--- a/Kernel/dev/ppide_rbc.c
+++ b/Kernel/dev/ppide_rbc.c
@@ -23,7 +23,7 @@ void ppide_init(void)
     ppi_port_c = ide_reg_status;
 }
 
-uint8_t devide_readb(uint8_t regaddr)
+uint_fast8_t devide_readb(uint_fast8_t regaddr)
 {
     uint8_t r;
 
@@ -35,7 +35,7 @@ uint8_t devide_readb(uint8_t regaddr)
     return r;
 }
 
-void devide_writeb(uint8_t regaddr, uint8_t value)
+void devide_writeb(uint_fast8_t regaddr, uint_fast8_t value)
 {
     ppi_control = PPIDE_PPI_BUS_WRITE;
     ppi_port_c = regaddr;