Searched refs:efi_icache_sync (Results 1 – 5 of 5) 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
67 void efi_icache_sync(unsigned long start, unsigned long end) in efi_icache_sync() function
155 efi_icache_sync(*image_addr, *image_addr + kernel_codesize); in efi_kaslr_relocate_kernel()
159 void efi_icache_sync(unsigned long start, unsigned long end);