From f64668b1cca66565df06f59e1e68381ecbfef217 Mon Sep 17 00:00:00 2001
From: 0xf00sec <159052166+0xf00sec@users.noreply.github.com>
Date: Wed, 4 Jun 2025 12:25:03 +0000
Subject: F* Macros

---
 dev/kernel/src/FS/NeFS+FileMgr.cc | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/dev/kernel/src/FS/NeFS+FileMgr.cc b/dev/kernel/src/FS/NeFS+FileMgr.cc
index d02f93da..fffb1e80 100644
--- a/dev/kernel/src/FS/NeFS+FileMgr.cc
+++ b/dev/kernel/src/FS/NeFS+FileMgr.cc
@@ -250,13 +250,18 @@ _Output NeFileSystemParser* NeFileSystemMgr::GetParser() noexcept {
 static inline bool is_valid_nefs_catalog(NodePtr node) {
     if (!node) return false;
     auto cat = reinterpret_cast<NEFS_CATALOG_STRUCT*>(node);
-    if (cat->Kind < 0 || cat->Kind > 3) return false;
+    switch (cat->Kind) {
+        case kNeFSCatalogKindFile:
+        case kNeFSCatalogKindDir:
+        case kNeFSCatalogKindAlias:
+        case kNeFSCatalogKindPage:
+            break;
+        default:
+            return false;
+    }
     bool null_found = false;
     for (int i = 0; i < kNeFSCatalogNameLen; ++i) {
-        if (cat->Name[i] == 0) {
-            null_found = true;
-            break;
-        }
+        if (cat->Name[i] == 0) { null_found = true; break; }
     }
     if (!null_found) return false;
     return true;
-- 
cgit v1.2.3