MMU_TIC_SHIFT
((unsigned long) ((va) & MMU_TIC_MASK) >> MMU_TIC_SHIFT)
#define NUM_KERN_PTES (KVAS_SIZE >> MMU_TIC_SHIFT)