diff options
| author | davidcunado-arm <david.cunado@arm.com> | 2017-04-06 10:55:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-06 10:55:17 +0100 |
| commit | 38fc7ed46652b1541187f252d633ef14f0994b6a (patch) | |
| tree | 361f335897171c3697df20476fcb510aef7bef8b /lib/semihosting | |
| parent | ed7562521b8b68e6e3d681c9564cd69afbf93e89 (diff) | |
| parent | b6dcbf588af442fa87721dc707ff9e54d04ff504 (diff) | |
Merge pull request #889 from paulkocialkowski/integration
rockchip: Remove unused rockchip_pd_pwr_down_wfi function
Diffstat (limited to 'lib/semihosting')
0 files changed, 0 insertions, 0 deletions