- DBGKD_WAIT_STATE_CHANGE64 is used in KD protocol 5, not number 6 that we use. Proto...
[reactos.git] / reactos / lib / ppcmmu / mmuobject.h
1 #ifndef _LIBMMU_MMUOBJECT_H
2 #define _LIBMMU_MMUOBJECT_H
3
4 void initme();
5 void mmusetramsize(paddr_t size);
6 int mmuaddpage(ppc_map_info_t *info, int count);
7 void mmudelpage(ppc_map_info_t *info, int count);
8 void mmugetpage(ppc_map_info_t *info, int count);
9 void mmusetvsid(int start, int end, int vsid);
10 void *allocvsid(int);
11 void mmuallocvsid(int vsid, int mask);
12 void freevsid(int);
13 void mmufreevsid(int vsid, int mask);
14 int mmunitest();
15 void callkernel(void *fun_ptr, void *arg);
16
17 #endif/*_LIBMMU_MMUOBJECT_H*/