blob: 4261b71259ca892c3cc075ad9ad7c5da1d5cf9ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/*
* Utilities for managing dynamically-allocated executable pages.
*/
#pragma once
typedef struct {
char contents;
} ExecPage;
/* Allocate a writable page. */
ExecPage *allocateExecPage(void);
/* Make a page previously allocated by allocateExecPage. */
void freezeExecPage(ExecPage *page);
/* Free a page previously allocated by allocateExecPage. */
void freeExecPage(ExecPage *page);
|
