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