From 8a9208612eec8ddae4c418485d848ecfa0613699 Mon Sep 17 00:00:00 2001
From: Anton Kling <anton@kling.gg>
Date: Mon, 30 Oct 2023 22:12:14 +0100
Subject: Meta: Move kernel and userland to their own folders.

This is to allow both the kernel and the userland to share certain
header files and to make the folder structure a bit more clear.
---
 kernel/kubsan.h | 79 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 79 insertions(+)
 create mode 100644 kernel/kubsan.h

(limited to 'kernel/kubsan.h')

diff --git a/kernel/kubsan.h b/kernel/kubsan.h
new file mode 100644
index 0000000..dac5407
--- /dev/null
+++ b/kernel/kubsan.h
@@ -0,0 +1,79 @@
+#include <stdint.h>
+
+enum { type_kind_int = 0, type_kind_float = 1, type_unknown = 0xffff };
+
+struct type_descriptor {
+  uint16_t type_kind;
+  uint16_t type_info;
+  char type_name[1];
+};
+
+struct source_location {
+  const char *file_name;
+  union {
+    unsigned long reported;
+    struct {
+      uint32_t line;
+      uint32_t column;
+    };
+  };
+};
+
+struct OverflowData {
+  struct source_location location;
+  struct type_descriptor *type;
+};
+
+struct type_mismatch_data {
+  struct source_location location;
+  struct type_descriptor *type;
+  unsigned long alignment;
+  unsigned char type_check_kind;
+};
+
+struct type_mismatch_data_v1 {
+  struct source_location location;
+  struct type_descriptor *type;
+  unsigned char log_alignment;
+  unsigned char type_check_kind;
+};
+
+struct type_mismatch_data_common {
+  struct source_location *location;
+  struct type_descriptor *type;
+  unsigned long alignment;
+  unsigned char type_check_kind;
+};
+
+struct nonnull_arg_data {
+  struct source_location location;
+  struct source_location attr_location;
+  int arg_index;
+};
+
+struct OutOfBoundsData {
+  struct source_location location;
+  struct type_descriptor *array_type;
+  struct type_descriptor *index_type;
+};
+
+struct ShiftOutOfBoundsData {
+  struct source_location location;
+  struct type_descriptor *lhs_type;
+  struct type_descriptor *rhs_type;
+};
+
+struct unreachable_data {
+  struct source_location location;
+};
+
+struct invalid_value_data {
+  struct source_location location;
+  struct type_descriptor *type;
+};
+
+struct alignment_assumption_data {
+  struct source_location location;
+  struct source_location assumption_location;
+  struct type_descriptor *type;
+};
-- 
cgit v1.2.3