Add spdx

arch/x86_64/include/bits/cpu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 static inline void arch_cpu_pause() {

arch/x86_64/include/bits/elf.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/elf.h>

arch/x86_64/include/bits/pmap.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

arch/x86_64/include/bits/sched.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/types.h>

arch/x86_64/include/bits/types.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

arch/x86_64/include/x86_64/apic.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/mmio.h>

arch/x86_64/include/x86_64/asm.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

arch/x86_64/include/x86_64/defs.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

arch/x86_64/include/x86_64/gdt.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

arch/x86_64/include/x86_64/idt.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/init.h>

arch/x86_64/include/x86_64/percpu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/irq.h>

arch/x86_64/include/x86_64/pmap.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 #include <zinnia/pmap.h>
 

arch/x86_64/include/x86_64/smp.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/atomic.h>

arch/x86_64/include/x86_64/syscall.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 void arch_syscall_stub();

arch/x86_64/include/x86_64/tsc.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 void tsc_init();

arch/x86_64/include/x86_64/tss.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

boot/main.c

@@ -59,7 +59,6 @@ static void kernel_main_task(uintptr_t arg0) {
         .envp = init_envp,
     };
 
-    status = elf_load(&exec, &init_task);
     vmo_unref(&init_file->object);
 
     assert(status == 0, "Failed to load init process (%i)", status);

dev/acpi/include/uacpi_types.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdarg.h>

dev/acpi/include/zinnia/acpi.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/init.h>

dev/block/nvme/nvme_pci.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 extern struct pci_driver nvme_driver;

dev/block/nvme/spec.h

@@ -1 +1,3 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once

include/arch/archctl.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/arch/cpu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <bits/cpu.h>

include/arch/elf.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 // TODO: Ensure bits are defining values right.

include/arch/irq.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/irq.h>

include/arch/mem.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/arch/percpu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/percpu.h>

include/arch/sched.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/arch/timer.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/arch/usercopy.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/alloc.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/assert.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/atomic.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stddef.h>

include/zinnia/bio.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/mman.h>

include/zinnia/clock.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/cmdline.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/compiler.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 // Attributes that affect data layout.

include/zinnia/console.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/device.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 #include <zinnia/module.h>
 

include/zinnia/dpc.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/atomic.h>

include/zinnia/elf.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>
@@ -361,5 +363,3 @@ static inline uint32_t ELF64_R_SYM(uint64_t info) {
 static inline uint32_t ELF64_R_TYPE(uint64_t info) {
     return info & 0xFFFFFFFF;
 }
-
-errno_t elf_load(struct exec_info* info, struct task** out);

include/zinnia/endian.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h> // IWYU pragma: keep

include/zinnia/errno.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/fdt.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/guid.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/hashmap.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/alloc.h>

include/zinnia/ident.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/types.h>

include/zinnia/init.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/initgraph.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/iovec.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/irq.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/ksyms.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/initgraph.h>

include/zinnia/list.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #define list_head(type) \

include/zinnia/mman.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/mmio.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stddef.h>

include/zinnia/module.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 #include <zinnia/compiler.h>
 #include <zinnia/errno.h>

include/zinnia/mutex.h

@@ -1,11 +1,10 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
-struct task;
+#include <stdint.h>
 
-struct mutex {
-    struct task* owner;
-    bool flag;
-};
+typedef uintptr_t mutex_t;
 
-void mutex_lock(struct mutex* mutex);
-void mutex_unlock(struct mutex* mutex);
+void mutex_lock(mutex_t* mutex);
+void mutex_unlock(mutex_t* mutex);

include/zinnia/pager.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/panic.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 #include <zinnia/compiler.h>
 

include/zinnia/pci.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/alloc.h>

include/zinnia/percpu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/pmap.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/alloc.h>

include/zinnia/poll.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/list.h>

include/zinnia/print.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/radix.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/random.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/initgraph.h>

include/zinnia/rcu.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 void rcu_read_lock();

include/zinnia/refcount.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/atomic.h>

include/zinnia/ringbuf.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/sched.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/atomic.h>

include/zinnia/spin.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/stack.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/stdlib.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/syscall.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/sched.h>

include/zinnia/tailq.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #define tailq_head(type) \

include/zinnia/time.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <uapi/time.h>

include/zinnia/types.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/utils.h>

include/zinnia/usb.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <stdint.h>

include/zinnia/usercopy.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/compiler.h>

include/zinnia/utils.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #define ARRAY_SIZE(array) (sizeof(array) / sizeof(array[0]))

include/zinnia/vec.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/alloc.h>

include/zinnia/vfs.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>
@@ -106,7 +108,7 @@ struct vfs_entry {
     // The name of this entry.
     char* name;
     size_t name_len;
-    struct mutex lock;
+    mutex_t lock;
 
     enum vfs_entry_state state;
     // The inode this entry points to when present.
@@ -250,7 +252,7 @@ struct vfs_node {
     const struct vfs_file_ops* file_ops;
     struct vfs_super_block* sb;
 
-    struct mutex lock;
+    mutex_t lock;
     void* priv;
 
     ino_t id;
@@ -305,7 +307,7 @@ struct vfs_file {
 
     enum vfs_file_position position_kind;
     off_t position;
-    struct mutex lock;
+    mutex_t lock;
 
     struct vfs_path path;
     bool has_path;

include/zinnia/virt.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/hashmap.h>

include/zinnia/vma.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/vmo.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/errno.h>

include/zinnia/waitq.h

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: ISC
+
 #pragma once
 
 #include <zinnia/atomic.h>