jncronin/rpi-boot — pull request #7 by vanvught (2013-06-26 13:30:59+00:00)
Title: removed declarations for 'memory_barrier' and 'read_sctlr'

Unused declaration of function 'memory_barrier'
Unused declaration of function 'read_sctlr'