2020-05-28 21:47:22 +02:00
|
|
|
#pragma once
|
|
|
|
|
|
2020-05-29 19:53:48 +02:00
|
|
|
#include "kernel_defs.h"
|
|
|
|
|
|
2020-05-28 21:47:22 +02:00
|
|
|
#ifdef __cplusplus
|
2022-02-11 20:13:22 +01:00
|
|
|
extern "C" {
|
2020-05-28 21:47:22 +02:00
|
|
|
#endif
|
|
|
|
|
|
2021-01-09 14:00:23 +01:00
|
|
|
#include <stdint.h>
|
2020-05-29 19:53:48 +02:00
|
|
|
|
2021-09-24 16:44:51 +02:00
|
|
|
extern void KernelReadSRs(sr_table_t *table);
|
|
|
|
|
extern void KernelWriteSRs(sr_table_t *table);
|
2020-05-28 21:47:22 +02:00
|
|
|
extern void KernelCopyData(uint32_t dst, uint32_t src, uint32_t len);
|
|
|
|
|
|
2020-05-29 19:26:01 +02:00
|
|
|
void KernelReadPTE(uint32_t outputAddr, int32_t length);
|
|
|
|
|
|
|
|
|
|
void KernelWritePTE(uint32_t inputAddr, int32_t length);
|
|
|
|
|
|
|
|
|
|
void KernelNOPAtPhysicalAddress(uint32_t addr);
|
|
|
|
|
|
2021-10-31 16:07:27 +01:00
|
|
|
void KernelPatchSyscall(uint32_t index, uint32_t addr);
|
|
|
|
|
|
2020-05-28 21:47:22 +02:00
|
|
|
#ifdef __cplusplus
|
|
|
|
|
} // extern "C"
|
|
|
|
|
#endif
|
