7 * ef_number is the largest unsigned integer we'll need. On systems that
8 * support 64-bit pointers, this may be "unsigned long long".
10 #if defined(USE_LONG_LONG)
11 typedef unsigned long long ef_number
;
13 typedef unsigned long ef_number
;
17 * NBBY is the number of bits per byte. Some systems define it in
25 * This is used to declare functions with "C" linkage if we are compiling
34 void Page_AllowAccess(void * address
, size_t size
);
35 void * Page_Create(size_t size
);
36 void Page_Delete(void * address
, size_t size
);
37 void Page_DenyAccess(void * address
, size_t size
);
38 size_t Page_Size(void);
40 void EF_Abort(const char * message
, ...);
41 void EF_Exit(const char * message
, ...);
42 void EF_Print(const char * message
, ...);