/* l4_wait_ready() waits for the L4 to become ready.  */
static int l4_wait_ready(void)
/* l4_wait_ready() waits for the L4 to become ready.  */
static int l4_wait_ready(void)
{
	unsigned int t = L4_TIMEOUT;
	while ((inb(L4_PORT) & L4_BUSY) && t > 0) t--;
	return -(t <= 0);
}