- k -

• kaput() : x86_multiboot/boot/include/debug.h
• kernel_set_int_state() : armv7/boot/include/pip_interrupt_calls.h , x86_multiboot/boot/include/pip_interrupt_calls.h , x86_multiboot/boot/pip_interrupt_calls.c , armv7/boot/pip_interrupt_calls.c
• kernel_start() : armv7/boot/boot.c
• kernelIndex() : x86_multiboot/MAL/malinternal.c , mal.h , armv7/MAL/malinternal.c
• kprintf() : debug.c , x86_multiboot/boot/include/debug.h
• krn_puts() : debug.c , x86_multiboot/boot/include/debug.h