- DBGKD_WAIT_STATE_CHANGE64 is used in KD protocol 5, not number 6 that we use. Proto...
[reactos.git] / reactos / lib / ppcmmu / mmuobject.h
index 6a82edc..9689746 100644 (file)
@@ -12,5 +12,6 @@ void mmuallocvsid(int vsid, int mask);
 void freevsid(int);
 void mmufreevsid(int vsid, int mask);
 int mmunitest();
+void callkernel(void *fun_ptr, void *arg);
 
 #endif/*_LIBMMU_MMUOBJECT_H*/