Symbol: efi_icache_sync
arch/arm64/include/asm/efi.h
152
void efi_icache_sync(unsigned long start, unsigned long end);
arch/riscv/include/asm/efi.h
48
void efi_icache_sync(unsigned long start, unsigned long end);
drivers/firmware/efi/libstub/kaslr.c
153
efi_icache_sync(*image_addr, *image_addr + kernel_codesize);