K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2017-09-11T22:35:20.557530Z
K 7
svn:log
V 417
MFC r323132-r323133

r323132:
The latest RPi firmware leaves secondary cores in a wait-for-event (WFE)
state to save power, so after writing the entry point address for a core to
the mailbox, use a dsb() to synchronize the execution pipeline to the data
written, then use an sev() to wake up the core.

Submitted by:	Sylvain Garrigues <sylgar@gmail.com>

r323133:
Change leading spaces to tabs, no functional change.

END