kexec_flush_icache_page 316 include/linux/kexec.h #ifndef kexec_flush_icache_page kexec_flush_icache_page 891 kernel/kexec_core.c kexec_flush_icache_page(page);