#include <kern/orb.h>
#include <kern/pagealloc.h>
#include <kern/compiler.h>
+#include <kern/thread.h>
+
#include <arch/usercopy.h>
+
#include <orb.h>
using System::RunTime::ParamInfoBlock;
return &hdr->frames[++thread->orbstack_top];
}
- u32 IDSpace::rlookup(Object *obj)
+ ObjectHdr *IDSpace::get_local_hdr(Object *obj)
{
-#if 0
- ObjectHdr *hdr = idtree.find(obj);
+ ObjectHdr *hdr = idrmap.lookup(obj->id);
if (!hdr)
return 0;
return hdr->id;
-#endif
- return 0;
}
}