27 lines
498 B
C
27 lines
498 B
C
//
|
|
// 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
|