HelenOS sources
GEN_WRITE_CP0 98 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(index, 0);
GEN_WRITE_CP0 103 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(entry_lo0, 2);
GEN_WRITE_CP0 106 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(entry_lo1, 3);
GEN_WRITE_CP0 109 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(context, 4);
GEN_WRITE_CP0 112 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(pagemask, 5);
GEN_WRITE_CP0 115 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(wired, 6);
GEN_WRITE_CP0 120 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(count, 9);
GEN_WRITE_CP0 123 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(entry_hi, 10);
GEN_WRITE_CP0 126 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(compare, 11);
GEN_WRITE_CP0 129 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(status, 12);
GEN_WRITE_CP0 132 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(cause, 13);
GEN_WRITE_CP0 135 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(epc, 14);
GEN_WRITE_CP0 98 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(index, 0);
GEN_WRITE_CP0 103 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(entry_lo0, 2);
GEN_WRITE_CP0 106 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(entry_lo1, 3);
GEN_WRITE_CP0 109 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(context, 4);
GEN_WRITE_CP0 112 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(pagemask, 5);
GEN_WRITE_CP0 115 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(wired, 6);
GEN_WRITE_CP0 120 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(count, 9);
GEN_WRITE_CP0 123 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(entry_hi, 10);
GEN_WRITE_CP0 126 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(compare, 11);
GEN_WRITE_CP0 129 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(status, 12);
GEN_WRITE_CP0 132 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(cause, 13);
GEN_WRITE_CP0 135 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(epc, 14);
HelenOS homepage, sources at GitHub