de-referencing l4lx linear addresses

Adam Lackorzynski adam at
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

More information about the l4-hackers mailing list