seL4/libsel4debug — pull request #1 by Smattr (2014-09-05 01:11:03+00:00)
Title: Remove debug register dump.

Although this function is labelled with an appropriately high level of
warnings, it's still missing enough safe guards (e.g. appropriate ISB/DMB) as
to do more harm than help. As far as I'm aware, this function is not called
from any existing code.