MMU_TIB_SHIFT
((unsigned long) ((va) & MMU_TIB_MASK) >> MMU_TIB_SHIFT)
#define KERN_C_TABLES (KVAS_SIZE >> MMU_TIB_SHIFT)