I have build the same device driver under Momentics on a PC platform (4.5.0) and also using the compiler on the target 
system.  Both compilers appear to be 4.2.4.

The driver built under Momentics works as expected.  The one built on the target system hangs on a second devctl() call 
to read data off a pci bus.  The first read works fine.  The second call (exactly the same) to devctl() never returns 
and execution never reaches io_devctl() in the driver.  If I kill the driver the application's call to devctl() returns 
with a -1.
Any help would be appreciated.
Bob