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