//
// Created by rick on 02-02-21.
//

#ifndef NEW_KERNEL_LIBK_H
#define NEW_KERNEL_LIBK_H

#include <attributes.h>
#include <stdbool.h>

extern void *_kernel_start;
extern void *_kernel_end;
#define kernel_start ((uint32_t)(&_kernel_start))
#define kernel_end ((uint32_t)(&_kernel_end))

bool k_addr_in_kspace(void *addr);

void k_wait_for_interrupt();

void att_noreturn k_panics(const char *msg);

void att_noreturn k_panic();

void att_noreturn k_not_implemented();

#endif //NEW_KERNEL_LIBK_H