/* XXX Do we need any timeout here? So far it never hanged, beware broken hw.  */
static void jsf_wait(unsigned long p)
/* XXX Do we need any timeout here? So far it never hanged, beware broken hw.  */
static void jsf_wait(unsigned long p)
{
		x1 = jsf_inl(p);
		x2 = jsf_inl(p);
		if ((x1 & 0x40404040) == (x2 & 0x40404040)) return;
	}
}