[K]

[..]
  1. KASSERT
  2. KERNEL_ADDR
  3. KERN_PTR
[..]