Debug
ARM DDI 0363E
Copyright © 2009 ARM Limited. All rights reserved.
11-49
ID013010
Non-Confidential, Unrestricted Access
6.
Sets the DSCR[1] core restarted flag to 1.
