diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2018-09-23 14:33:47 +0200 |
|---|---|---|
| committer | Alexander Graf <agraf@suse.de> | 2018-09-23 21:55:31 +0200 |
| commit | 3170db63c41a2eda6ee6573353bb4de8c7c1b9d5 (patch) | |
| tree | 633605ef711204de7924ebc616eaa3266310940f /include/ipu_pixfmt.h | |
| parent | 4b985e0035263b62d5a0cb9de42c87171892949f (diff) | |
efi_loader: remove efi_exit_caches()
Since GRUB patch d0c070179d4d ("arm/efi: Switch to arm64 linux loader",
2018-07-09) we do not need a workaround for GRUB on 32bit ARM anymore.
So let's eliminate function efi_exit_caches().
This will require Linux distributions to update grub-efi-arm to the GRUB
git HEAD (a tag containing the aforementioned GRUB patch is not available
yet).
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Signed-off-by: Alexander Graf <agraf@suse.de>
Diffstat (limited to 'include/ipu_pixfmt.h')
0 files changed, 0 insertions, 0 deletions