tree 92b8276aa15efced1565483a25c9589f10f6e07e
parent cf01ab6e40ce7229cf6740fe1b7e0e107b396a23
author Nico Huber <nico.huber@secunet.com> 1494245661 +0200
committer Nico Huber <nico.h@gmx.de> 1495480038 +0200

ada/dynamic_mmio: Drop unnecessary Volatile aspect

The access variable `Range_A` was accidentally declared `Volatile` which
led to the following complaint by GCC 7.1:

    volatile object cannot appear in this context (SPARK RM 7.1.3(11))

This happened probably to make `Range_A` compatible with our state
abstraction, but we can just use the correct abstraction instead.

TEST=Compiled a coreboot target with libgfxinit and checked the
     emitted assembly: Only minor reordering regarding the pointer
     but not the dereference.
     Booted ThinkPad T420 with libgfxinit enabled.

Change-Id: I56a3fcadce59713fb03a089d192d2022bfb1d378
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/19624
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com>