summaryrefslogtreecommitdiff
path: root/include/stdlib/machine/_stdint.h
diff options
context:
space:
mode:
authorSandrine Bailleux <sandrine.bailleux@arm.com>2016-04-22 13:00:19 +0100
committerSandrine Bailleux <sandrine.bailleux@arm.com>2016-04-25 12:55:45 +0100
commit1ad9f93e8da8245237b01bea23b0a61bd42be9b8 (patch)
tree664c930f9d243f568e72a1f9ac34066aee9d05b8 /include/stdlib/machine/_stdint.h
parent81b491ff37a7027766410a91d9837e093248300d (diff)
Validate psci_cpu_on_start() arguments
This patch introduces some debug assertions in the function psci_cpu_on_start() to check the arguments it receives are valid. Change-Id: If4d23c9f668fb46f2d18c5e2ed1929498cc6736b
Diffstat (limited to 'include/stdlib/machine/_stdint.h')
0 files changed, 0 insertions, 0 deletions