snp_free_firmware_page
snp_free_firmware_page(context);
snp_free_firmware_page(sev->snp_context);
snp_free_firmware_page(status);
snp_free_firmware_page(sev->guest_resp_buf);
snp_free_firmware_page(data_pg);
snp_free_firmware_page(dev_data->data_pg);
EXPORT_SYMBOL_GPL(snp_free_firmware_page);
void snp_free_firmware_page(void *addr);