Make sure that kernel is interrupt disabled.

2024-04-29 10:46:07 +08:00
parent 695dd91201
commit 8d2d7e3e09
7 changed files with 106 additions and 63 deletions
@@ -56,7 +56,7 @@ __attribute__((__always_inline__)) static inline int session_remain_capacity(str
 __attribute__((__always_inline__)) static inline int session_forward_head(struct Session* session, int len)
 {
    if (len > session_used_size(session)) {
-        printf("forward head with too much size\n");
+        printf("forward head with too much size, session used size: %d\n", session_used_size(session));
        return -1;
    }
    session->head = (session->head + len) % session->capacity;