/* Version of ffs that only looks at bits 12..15.  */
static unsigned int irq_ffs(unsigned int pending)
/* Version of ffs that only looks at bits 12..15.  */
static unsigned int irq_ffs(unsigned int pending)
{
	return fls(pending) - 1 + CAUSEB_IP;
}