HelenOS sources

KSEG2PA            61 boot/arch/mips32/include/arch/arch.h #define KSEG2PA(addr)  (((uintptr_t) (addr)) - 0xa0000000)
KSEG2PA            64 boot/arch/mips32/include/arch/arch.h #define KSEG2PA(addr)  ((addr) - 0xa0000000)
HelenOS homepage, sources at GitHub