Hi Will, Will Deacon <will.deacon at arm.com> wrote @ Mon, 10 Jun 2013 20:34:40 +0200: > The current code only clobbers a local variable, so the device is left > with a stale mapping pointer. True. This's my bad. Thanks.