🐛 修复了无法正确地往文件写入数据的bug

kernel/common/glib.h

@@ -478,7 +478,8 @@ static inline uint64_t copy_from_user(void *dst, void *src, uint64_t size)
                  "rep   \n\t"
                  "movsb \n\t"
                  : "=&c"(size), "=&D"(tmp0), "=&S"(tmp1)
-                 : "r"(size & 7), "0"(size >> 3), "1"(dst), "2"(src));
+                 : "r"(size & 7), "0"(size >> 3), "1"(dst), "2"(src)
+                 : "memory");
     return size;
 }
 
@@ -506,7 +507,8 @@ static inline uint64_t copy_to_user(void *dst, void *src, uint64_t size)
                  "rep   \n\t"
                  "movsb \n\t"
                  : "=&c"(size), "=&D"(tmp0), "=&S"(tmp1)
-                 : "r"(size & 7), "0"(size >> 3), "1"(dst), "2"(src));
+                 : "r"(size & 7), "0"(size >> 3), "1"(dst), "2"(src)
+                 : "memory");
     return size;
 }
 
@@ -524,7 +526,7 @@ long strnlen_user(void *src, unsigned long maxlen)
     // 地址不合法
     if (!verify_area((uint64_t)src, size))
         return 0;
-    
+
     return size <= maxlen ? size : maxlen;
 }