2021-10-26 22:52:24 +02:00
|
|
|
#pragma once
|
2024-01-29 23:27:10 +01:00
|
|
|
#include "stddef.h"
|
2021-10-26 22:52:24 +02:00
|
|
|
|
|
|
|
struct mmu_context;
|
2021-10-28 00:41:02 +02:00
|
|
|
|
2021-10-26 22:52:24 +02:00
|
|
|
int mmuContextSetup();
|
|
|
|
struct mmu_context *mmuContextCreate();
|
2021-10-28 00:41:02 +02:00
|
|
|
int mmuContextSyncKernelPDE(int pdEntry, void *pde, size_t pdeSize);
|
2021-10-30 00:28:31 +02:00
|
|
|
int mmuContextSwitch(struct mmu_context *ctx);
|
|
|
|
struct mmu_context *mmuContextGetCurrent();
|
|
|
|
int mmuContextRef(struct mmu_context *ctx);
|
|
|
|
int mmuContextUnref(struct mmu_context *ctx);
|