Removed unneeded kmain_maid_spawn() declaration
1 files changed, 0 insertions(+), 2 deletions(-) M kernel/src/main.c
M kernel/src/main.c +0 -2
@@ 103,8 103,6 @@ static uint32_t acpi_timer_counter; hlt(); } -__attribute__((noreturn)) void kmain_maid_spawn(void); - __attribute__((noreturn)) void kmain_highmem(EFI_SYSTEM_TABLE* system_table, uint64_t initramfs_ptr) { system_table = (EFI_SYSTEM_TABLE*) LOW_TO_HIGH((uint64_t) system_table); initramfs_ptr = LOW_TO_HIGH(initramfs_ptr);