[okl4-developer] ARM_TOP_LEVEL_BITS
Victor Kang
victor.kang at gatech.edu
Fri Mar 28 03:53:41 EST 2008
Hi, all.
These days, I'm trying to analyze source code of OKL4.
But, there is some problem that I cannot understand.
Why is the ARM_TOP_LEVEL_BITS macro defined as 26?
I think it should be defined as 25 because the length of PID is 7 bit.
Do I think wrong?
Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080328/870dc8dc/attachment.htm
More information about the Developer
mailing list