[okl4-developer] CONFIG_UTCB_SIZE

[Tomas Hruby]

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?

Cheers,
		
		Tomas