HelenOS sources

PA2KSEG1           45 kernel/arch/mips32/include/arch/mach/malta/malta.h #define MALTA_PCI_BASE		PA2KSEG1(MALTA_PCI_PHYSBASE)
PA2KSEG1           46 kernel/arch/mips32/include/arch/mach/malta/malta.h #define MALTA_GT64120_BASE	PA2KSEG1(0x1be00000UL)
PA2KSEG1           43 kernel/arch/mips32/include/arch/mach/msim/msim.h #define MSIM_VIDEORAM        PA2KSEG1(0x10000000)
PA2KSEG1           44 kernel/arch/mips32/include/arch/mach/msim/msim.h #define MSIM_KBD_ADDRESS     PA2KSEG1(0x10000000)
PA2KSEG1           45 kernel/arch/mips32/include/arch/mach/msim/msim.h #define MSIM_DORDER_ADDRESS  PA2KSEG1(0x10000100)
PA2KSEG1           59 kernel/arch/mips32/src/mm/frame.c 	(((volatile uint32_t *) PA2KSEG1(frame << ZERO_PAGE_WIDTH))[ZERO_PAGE_OFFSET])
HelenOS homepage, sources at GitHub