[okl4-developer] where is KUCB_BITS defined?

[Bae Seok Heon]

Hi All

Maybe I think I found a mispelling word (KUCB_BITS)
in Line 106

okl4_release_1.4.1.1/pistachio/arch/ia32/include/arch/config.h

101
102 /* configuration for UTCBs */
103 #define UTCB_PGSIZE             pgent_t::size_4k
104 #define UTCB_PAGESIZE           (IA32_PAGE_SIZE)
105 #define UTCB_BITS               (9)
106 #define UTCB_SIZE               (1 << KUCB_BITS)
107 #define UTCB_MASK               (~(UTCB_SIZE-1))
108

Regards

Bae Seok Heon