L4_ThreadIdBits(kip) ?

BERTRAND Joel <[email protected]> Thu, 04 Nov 2010 14:17:30 +0100

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

	Hello,

	I have to compute max thread id to write a job controller. I use a 64 
bits L4 microkernel and I have read that on 64 bits kernel, 32 bits are 
assigned to thread number (l4-x2.pdf, page 14). On 32 bits kernel, only 
18 bits are allowed.

	Thus, why L4_ThreadIdBits(kip) only returns 18 on a 64 bits system ?

	Regards,

	JKB