efi_cache_sync_image
void efi_cache_sync_image(unsigned long image_base,
efi_cache_sync_image((unsigned long)out, outlen);