tree 72fdd7830dd3783a30d09975f9e530b7162da977
parent d8fae235d53c0376ab320c3d84a9b414bffe9d64
author Nico Huber <nico.h@gmx.de> 1775076610 +0000
committer Nico Huber <nico.h@gmx.de> 1775208252 +0000

posix file: Explicitly disable SPARK_Mode for hw_file_map()

The GNAT compiler also checks some SPARK rules now and this function
has side-effects. Hence we have to hide it.

Change-Id: I4a113e3b9a34ba0a27e7902a3bd08533fd73fcda
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/452
Reviewed-by: Angel Pons <th3fanbus@gmail.com>