de-referencing l4lx linear addresses
adam at os.inf.tu-dresden.de
Fri Jul 8 21:50:25 CEST 2005
On Fri Jul 08, 2005 at 15:31:45 -0400, Andrew Davenport wrote:
> Thanks for all the previous help. I was wondering: Suppose I have a filenumber
> as a syscall param (from linux server) inside Thread::do_send() in l4. I want
> the inode number for that filenumber, how would I get that? Also, how would I
> get a block list from an inode number?
Inside the kernel? Not at all. That info buried somewhere in the memory
of the Linux server. You have no realistic chance of getting that info
in the kernel.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers