diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-06-14 14:34:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-14 14:34:46 +0100 |
commit | 4a410a3ba30f9a8fd2d5f3b93fb62452b1e80f09 (patch) | |
tree | bae51ef3efcb8fc7bfbf86af58a866415686483a /lib/psci/psci_setup.c | |
parent | 59c4346383407dad6b7573fccb7af85a97a5df3e (diff) | |
parent | fb83888b61ebe0e069adec14d50c3a26dc3aacdb (diff) |
Merge pull request #1417 from paulkocialkowski/integration
rockchip: Move stdint header to the offending header file
Diffstat (limited to 'lib/psci/psci_setup.c')
0 files changed, 0 insertions, 0 deletions