[okl4-developer] CONFIG_UTCB_SIZE

[Geoffrey Lee]

On Mon, Aug 11, 2008 at 02:45:01PM +1000, Tomas Hruby wrote:
> Hi,
> 
> I am wondering whether CONFIG_UTCB_SIZE is the actual size in
> bytes or a bit-shift. It seems to be defined as a bit shift for x86
> (12) and armv6 (PAGE_BITS_4K) however it seems to be used as size in
> bytes in generic_space_t::check_utcb_location() when passing it to
> addr_align(). Is it a bug or did I get something wrong?


Hi Tomas

Yes this appears to be an issue.  I'll tag this into our issue
tracking system.

> 
> Cheers,
> 		
> 		Tomas

	-gl

> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 

--