Variables starting with `k' in osfmk/ppc

• kernel_args_buf osfmk/ppc/model_dep.c:108
• kernel_pmap osfmk/ppc/pmap.c:169
• kernel_pmap_store osfmk/ppc/pmap.c:168
• KERNEL_SEG_REG15_VALUE osfmk/ppc/bat_init.c:45
• kernel_seg_regs osfmk/ppc/bat_init.c:47
• killprint osfmk/ppc/serial_console.c:98
• kind osfmk/ppc/bcopy.s:48