diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/kernel/arch/i386/multiboot.h | 2 | ||||
| -rw-r--r-- | src/kernel/vfs/backend.c | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/kernel/arch/i386/multiboot.h b/src/kernel/arch/i386/multiboot.h index b780f91..1d6718f 100644 --- a/src/kernel/arch/i386/multiboot.h +++ b/src/kernel/arch/i386/multiboot.h @@ -1,8 +1,10 @@ #pragma once #include <stdint.h> +#ifndef __CHECKER__ _Static_assert(sizeof(void*) == 4, "this code assumes that pointers have 4 bytes"); +#endif struct multiboot_mod { void *start; diff --git a/src/kernel/vfs/backend.c b/src/kernel/vfs/backend.c index 4b22104..b9bc9af 100644 --- a/src/kernel/vfs/backend.c +++ b/src/kernel/vfs/backend.c @@ -7,6 +7,7 @@ // dispatches a VFS operation to the correct process _Noreturn void vfs_backend_dispatch(struct vfs_backend *backend, struct vfs_op op) { struct vfs_op_request *req = kmalloc(sizeof *req); // freed in vfs_backend_finish + int ret; *req = (struct vfs_op_request) { .op = op, .caller = process_current, @@ -15,7 +16,7 @@ _Noreturn void vfs_backend_dispatch(struct vfs_backend *backend, struct vfs_op o switch (backend->type) { case VFS_BACK_ROOT: - int ret = vfs_root_handler(req); + ret = vfs_root_handler(req); vfs_backend_finish(req, ret); case VFS_BACK_USER: process_current->state = PS_WAITS4FS; |