-/*#include <sys/kernel.h> */
-extern int hz; /* system clock's frequency */
-extern void* dsmos_blobs[];
-extern int dsmos_blob_count;
-
-/* #include <sys/proc.h> */
-extern int tsleep(void *chan, int pri, const char *wmesg, int timo);
-
-/* #include <sys/param.h> */
-#define PZERO 22 /* No longer magic, shouldn't be here. XXX */
-
-static int _dsmos_wait_for_callback(const void*,void*);
-
-static dsmos_page_transform_hook_t dsmos_hook = _dsmos_wait_for_callback;
-
-int
-_dsmos_wait_for_callback(const void* from, void *to)
-{
-/* printf("%s\n", __FUNCTION__); */
- while ( (dsmos_hook == NULL) || (dsmos_hook == _dsmos_wait_for_callback) )
- tsleep(&dsmos_hook, PZERO, "dsmos", hz / 10);
-
- return (*dsmos_hook) (from, to);
-}