[Xenomai-help] System hangs in/after rtdm_lock_put_irqrestore

["Axel Beierlein" <belatronix@domain.hid>]

what could it be that an simple rt_dev_open locks up my system when it  
calls rtdm_lock_put_irqrestore?

[...]
if (rtdm_irq_request(&ctx->irq_handle,
		        MPC5xxx_PSC2_IRQ,
			rt_psc_interrupt,
			RTDM_IRQTYPE_SHARED | RTDM_IRQTYPE_EDGE,
				context->device->proc_name,
				ctx))
	{
		printk ("psc5200B.c: request_irq() failed\n");
		return -1;
	}

     rtdm_irq_enable(&ctx->irq_handle);

     rtdm_lock_get_irqsave(&ctx->lock, lock_ctx);

     ctx->imr_status = MPC5xxx_PSC_IMR_RXRDY;
	out_be16(&psc->mpc5xxx_psc_imr, ctx->imr_status);

	rtdm_lock_put_irqrestore(&ctx->lock, lock_ctx);
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
	Here i get the crash


The test prog is a simple  
fd=rt_dev_open("nameofdevice",0)......rt_dev_close(fd).


Axel