../../../mips32/include/libarch/cp0.h