33 lines
783 B
C
33 lines
783 B
C
#pragma once
|
|
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
void arch_start();
|
|
void arch_panic();
|
|
|
|
size_t arch_mem_page_size();
|
|
size_t arch_mem_page_bits();
|
|
size_t arch_mem_level_bits();
|
|
size_t arch_mem_num_levels();
|
|
uintptr_t arch_mem_hhdm_addr();
|
|
uintptr_t arch_mem_pfndb_addr();
|
|
uintptr_t arch_mem_mapping_addr();
|
|
|
|
#include <kernel/usercopy.h>
|
|
|
|
bool arch_usercopy_read(void* dst, const __user void* src, size_t len, struct usercopy_region** region);
|
|
bool arch_usercopy_write(__user void* dst, const void* src, size_t len, struct usercopy_region** region);
|
|
|
|
#include <kernel/irq.h>
|
|
|
|
void arch_irq_set_state(bool state);
|
|
bool arch_irq_get_state();
|
|
void arch_irq_wait();
|
|
|
|
#include <kernel/percpu.h>
|
|
|
|
struct percpu* arch_percpu_get();
|
|
void arch_percpu_bsp_init();
|
|
void arch_percpu_init();
|