#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