/* Given the contents of the status register, return the index of the CPLB that caused the fault.  */
static int faulting_cplb_index(int status)
/* Given the contents of the status register, return the index of the CPLB that caused the fault.  */
static int faulting_cplb_index(int status)
{
	int signbits = __builtin_bfin_norm_fr1x32(status & 0xFFFF);
	return 30 - signbits;
}