libkernel/include/kernel/kernel.h
2021-10-31 16:07:27 +01:00

26 lines
528 B
C

#pragma once
#include "kernel_defs.h"
#ifdef __cplusplus
extern "C"
{
#endif
#include <stdint.h>
extern void KernelReadSRs(sr_table_t *table);
extern void KernelWriteSRs(sr_table_t *table);
extern void KernelCopyData(uint32_t dst, uint32_t src, uint32_t len);
void KernelReadPTE(uint32_t outputAddr, int32_t length);
void KernelWritePTE(uint32_t inputAddr, int32_t length);
void KernelNOPAtPhysicalAddress(uint32_t addr);
void KernelPatchSyscall(uint32_t index, uint32_t addr);
#ifdef __cplusplus
} // extern "C"
#endif