[K]

1. KASSERT
2. KERNEL_ADDR
3. KERN_PTR