../../../../../../kernel/arch/mips32/include/cp0.h