85 	struct sev_device *sev = psp_master->sev_data;  in sev_version_greater_or_equal()
98 	struct sev_device *sev = data;  in sev_irq_handler()
113 static int sev_wait_cmd_ioc(struct sev_device *sev,  in sev_wait_cmd_ioc()
205 	struct sev_device *sev = psp_master->sev_data;  in sev_read_init_ex_file()
246 	struct sev_device *sev = psp_master->sev_data;  in sev_write_init_ex_file()
311 	struct sev_device *sev;  in __sev_do_cmd_locked()
457 	struct sev_device *sev;  in __sev_platform_init_locked()
524 	struct sev_device *sev;  in __sev_platform_shutdown_locked()
620 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_pdh_gen()
637 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_csr()
710 	struct sev_device *sev = psp_master->sev_data;  in sev_get_api_version()
833 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_import()
984 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pdh_export()
1179 static int sev_misc_init(struct sev_device *sev)  in sev_misc_init()
1222 	struct sev_device *sev;  in sev_dev_init()
1276 static void sev_firmware_shutdown(struct sev_device *sev)  in sev_firmware_shutdown()
1298 	struct sev_device *sev = psp->sev_data;  in sev_dev_destroy()
1323 	struct sev_device *sev = psp_master->sev_data;  in sev_pci_init()
1375 	struct sev_device *sev = psp_master->sev_data;  in sev_pci_exit()