Yeap,<br><br>A syscall such as pagerof would be great in some situations,<br><br>Thanks,<br><span class="sg"><br>JOrge</span><br><br><div><span class="gmail_quote">On 7/9/07, <b class="gmail_sendername">Harry Vennik</b> <
<a href="mailto:htvennik@zonnet.nl">htvennik@zonnet.nl</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I have run into the same thing recently. Not often a thread needs to
<br>know its own space-id, but when implementing some memory management<br>server it would be very nice to be able to map the thread-id where<br>the IPC request is coming from to a space-id to apply the memory<br>mapping to. I think the microkernel simply has to keep track of the
<br>thread to space relations, so why require a memory manager server to<br>do the same thing? I think it would be better to keep that info in<br>the micro kernel only, and provide a way for the memory manager to<br>request that information through a (privileged) syscall.
<br><br>Regards,<br><br>Harry<br><br>Op 9-jul-2007, om 9:04 heeft Carl van Schaik het volgende geschreven:<br><br>> Are you asking about finding a thread's space-id? Currently it is not<br>> possible, the OS environment should tell the thread, eg on its
<br>> stack. In<br>> general, threads don't need to know their space-id and can't call make<br>> any L4 calls that require it.<br>><br>> regards,<br>> Carl<br>><br>> Jorge Torres wrote:<br>
>> HI,<br>>><br>>><br>>> Does somebody know how can one find a thread spaceid?<br>>><br>>> Thanks,<br>>><br>>> Jorge<br>>> ---------------------------------------------------------------------
<br>>> ---<br>>><br>>> _______________________________________________<br>>> Developer mailing list<br>>> <a href="mailto:Developer@okl4.org">Developer@okl4.org</a><br>>> <a href="https://lists.okl4.org/mailman/listinfo/developer">
https://lists.okl4.org/mailman/listinfo/developer</a><br>>><br>><br>><br>> _______________________________________________<br>> Developer mailing list<br>> <a href="mailto:Developer@okl4.org">Developer@okl4.org
</a><br>> <a href="https://lists.okl4.org/mailman/listinfo/developer">https://lists.okl4.org/mailman/listinfo/developer</a><br><br></blockquote></div><br>