../../../../../../kernel/arch/mips64/include/cp0.h