Searched refs:efi_icache_sync (Results 1 – 4 of 4) sorted by relevance
48 void efi_icache_sync(unsigned long start, unsigned long end);
55 void efi_icache_sync(unsigned long start, unsigned long end) in efi_icache_sync() function
60 void efi_icache_sync(unsigned long start, unsigned long end) in efi_icache_sync() function
159 void efi_icache_sync(unsigned long start, unsigned long end);