HelenOS sources

KSEG12PA          107 kernel/arch/mips32/src/mach/msim/msim.c 	    KSEG12PA(MSIM_KBD_ADDRESS));
KSEG12PA           82 kernel/arch/mips32/src/mm/frame.c 	if (frame == (KSEG12PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH))
KSEG12PA           86 kernel/arch/mips32/src/mm/frame.c 	if (frame == (KSEG12PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))