You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

57 lines
1.2 KiB
C

/* See the end of this file for copyright and license terms. */
#include <arch/cpufunc.h>
#include <gay/kprintf.h>
#include <gay/types.h>
#include <gay/util.h>
#include <stdarg.h>
void panic(const char *fmt, ...)
{
va_list args;
va_start(args, fmt);
disable_intr();
kprintf("Kernel panic: ");
if (fmt == nil)
kprintf("(nil)\n");
else
kvprintf(fmt, args);
kprintf("\nSystem halted");
/* no need for va_end() here i guess */
while (1) {
halt();
disable_intr();
}
}
void *ptr_align(void *ptr, int log)
{
uintptr_t shifted = 1 << abs(log);
uintptr_t aligned = (uintptr_t)ptr & ~(shifted - 1);
if (log > 0 && aligned != (uintptr_t)ptr)
aligned += shifted;
return (void *)aligned;
}
/*
* This file is part of GayBSD.
* Copyright (c) 2021 fef <owo@fef.moe>.
*
* GayBSD is nonviolent software: you may only use, redistribute, and/or
* modify it under the terms of the Cooperative Nonviolent Public License
* (CNPL) as found in the LICENSE file in the source code root directory
* or at <https://git.pixie.town/thufie/npl-builder>; either version 7
* of the license, or (at your option) any later version.
*
* GayBSD comes with ABSOLUTELY NO WARRANTY, to the extent
* permitted by applicable law. See the CNPL for details.
*/