HelenOS sources

badvaddr           72 boot/arch/mips32/include/arch/regname.h #define badvaddr  8
badvaddr           78 kernel/arch/mips32/include/arch/asm/regname.h #define badvaddr  8
badvaddr           78 uspace/lib/c/arch/mips32/include/libarch/regname.h #define badvaddr  8