fix the `sparse` warnings

1 files changed, 2 insertions, 0 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;