val = readw(PMUCNT2REG); val |= SOFTRST; writew(val, PMUCNT2REG); 
pmucnt2 = pmu_read(PMUCNT2REG); pmucnt2 |= SOFTRST; pmu_write(PMUCNT2REG, pmucnt2); 
static inline void software_reset(void){	uint16_t val;	switch (current_cpu_data.cputype) {	case CPU_VR4122:	case CPU_VR4131:	case CPU_VR4133:		val = readw(PMUCNT2REG);		val |= SOFTRST;		writew(val, PMUCNT2REG);		break;	default:		break;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3407c0fec3456325826c31792e77a80a6dec0e20/pmu.c/buggy/arch/mips/vr41xx/common/pmu.c