12 lines
224 B
C
12 lines
224 B
C
#ifndef KCOMMON_H
|
|
#define KCOMMON_H
|
|
|
|
#include <stdint.h>
|
|
|
|
void enable_interrupts();
|
|
void disable_interrupts();
|
|
uint32_t fetch_cr3();
|
|
|
|
void liftoff(uint32_t entry_point, uint32_t user_stack) __attribute__((noreturn));
|
|
|
|
#endif |