/* Different semantics to the set_c0_* function built by __BUILD_SET_C0  */
static __cpuinit unsigned int bis_c0_errctl(unsigned int set)
/* Different semantics to the set_c0_* function built by __BUILD_SET_C0  */
static __cpuinit unsigned int bis_c0_errctl(unsigned int set)
{
	unsigned int res;
	res = read_c0_errctl();
	write_c0_errctl(res | set);
	return res;
}