| e951a1f427f2 ("efi/arm: Pass start and end addresses to cache_clean_flush()") | |
| cf17a1e3aa1a ("ARM: 8942/1: Revert "8857/1: efi: enable CP15 DMB instructions before cleaning the cache"") | |
| e17b1af96b2a ("ARM: 8857/1: efi: enable CP15 DMB instructions before cleaning the cache") |