- k -

• k0 : regs.h
• k1 : regs.h
• KERNEL_PAGE_WIDTH : tlb.h