efi_cache_sync_image
void efi_cache_sync_image(unsigned long image_base,
void efi_cache_sync_image(unsigned long image_base, unsigned long alloc_size)
void __weak efi_cache_sync_image(unsigned long image_base,