diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2018-02-08 14:59:03 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-04-30 09:22:32 +0000 |
| commit | fea02e1439476f2acbd151a4d1873cd118f33a60 (patch) | |
| tree | ebbd08269782ebb57f3f300cf3949e2e3dae94b1 /src/include/gic.h | |
| parent | 658a9348f07672a16163f6be5a2b4448bff64188 (diff) | |
nb/x4x: Get rid of device_t
Use of `device_t` has been abandoned in ramstage.
Change-Id: Ib3e708a7fa9f0a78dc704a502a2f01ee0fe209ae
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/23655
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/include/gic.h')
0 files changed, 0 insertions, 0 deletions