Hello Bob,

On Thu, Oct 24, 2013 at 08:57:08AM -0400, Bob Stewart wrote:
> I write a value of 5 to the register offset 0x800 into the Control
> dataspace:
> /[init -> gpio_drv] mmio write 0x4800: 0x00000005//
> //[init -> gpio_drv] void Omap_driver::set_pin_controls(int, int,
> int): B=1, P=0, Mode=5, Input=0, Offset=0/
> 
> In jdb I see that the value at 0x4800 has not changed after
> apparently writing 5 to it.

It's just a guess, but are you sure that reading the register should
gain the value write to it before? Often, the semantics of device
registers are different from this assumption.

Greets
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60135991&iu=/4140/ostg.clktrk
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to