1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#include <sys/types.h>
#include <sys/param.h>
#include <stdarg.h>
/*
* ef_number is the largest unsigned integer we'll need. On systems that
* support 64-bit pointers, this may be "unsigned long long".
*/
#if defined(USE_LONG_LONG)
typedef unsigned long long ef_number;
#else
typedef unsigned long ef_number;
#endif
/*
* NBBY is the number of bits per byte. Some systems define it in
* <sys/param.h> .
*/
#ifndef NBBY
#define NBBY 8
#endif
/*
* This is used to declare functions with "C" linkage if we are compiling
* with C++ .
*/
#ifdef __cplusplus
#define C_LINKAGE "C"
#else
#define C_LINKAGE
#endif
void Page_AllowAccess(void * address, size_t size);
void * Page_Create(size_t size);
void Page_Delete(void * address, size_t size);
void Page_DenyAccess(void * address, size_t size);
size_t Page_Size(void);
void EF_Abort(const char * message, ...);
void EF_Abortv(const char * message, va_list args);
void EF_Exit(const char * message, ...);
void EF_Exitv(const char * message, va_list args);
void EF_Print(const char * message, ...);
void EF_Printv(const char * message, va_list args);
void EF_InternalError(const char * message, ...);
|
