filesys: use inline for baddev

Saves us 0x40 bytes or so

diff --git a/Kernel/filesys.c b/Kernel/filesys.c
index dc95386..d583bfa 100644 (file)
--- a/Kernel/filesys.c
+++ b/Kernel/filesys.c
@@ -466,7 +466,7 @@ fsptr getdev(uint16_t dev)
 /* Returns true if the magic number of a superblock is corrupt.
 */
 
-bool baddev(fsptr dev)
+bool inline baddev(fsptr dev)
 {
     return(dev->s_mounted != SMOUNTED);
 }