[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