Use correct type when reading SCR register
Louis Mayencourt authored
The Secure Configuration Register is 64-bits in AArch64 and 32-bits in
AArch32. Use u_register_t instead of unsigned int to reflect this.

Change-Id: I51b69467baba36bf0cfaec2595dc8837b1566934
Signed-off-by: default avatarLouis Mayencourt <louis.mayencourt@arm.com>
f1be00da
Name Last commit Last update
..
bl31.h
ea_handle.h
ehf.h
interrupt_mgmt.h