2026-06-28 17:58:58 -05:00
|
|
|
#ifndef KCOMMON_H
|
|
|
|
|
#define KCOMMON_H
|
|
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
|
|
void enable_interrupts();
|
|
|
|
|
void disable_interrupts();
|
|
|
|
|
uint32_t fetch_cr3();
|
|
|
|
|
|
2026-07-07 18:52:22 -05:00
|
|
|
void kpanic();
|
|
|
|
|
|
2026-07-01 20:00:22 -05:00
|
|
|
void liftoff(uint32_t entry_point, uint32_t user_stack) __attribute__((noreturn));
|
|
|
|
|
|
2026-06-28 17:58:58 -05:00
|
|
|
#endif
|
