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 | |
| 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')
0 files changed, 0 insertions, 0 deletions