58 	struct sev_device *sev = psp_master->sev_data;  in sev_version_greater_or_equal()
71 	struct sev_device *sev = data;  in sev_irq_handler()
86 static int sev_wait_cmd_ioc(struct sev_device *sev,  in sev_wait_cmd_ioc()
140 	struct sev_device *sev;  in __sev_do_cmd_locked()
215 	struct sev_device *sev;  in __sev_platform_init_locked()
271 	struct sev_device *sev = psp_master->sev_data;  in __sev_platform_shutdown_locked()
297 	struct sev_device *sev = psp_master->sev_data;  in sev_get_platform_state()
343 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_platform_status()
359 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_pdh_gen()
376 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_csr()
457 	struct sev_device *sev = psp_master->sev_data;  in sev_get_api_version()
568 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pek_import()
723 	struct sev_device *sev = psp_master->sev_data;  in sev_ioctl_do_pdh_export()
928 static int sev_misc_init(struct sev_device *sev)  in sev_misc_init()
971 	struct sev_device *sev;  in sev_dev_init()
1014 	struct sev_device *sev = psp->sev_data;  in sev_dev_destroy()
1037 	struct sev_device *sev = psp_master->sev_data;  in sev_pci_init()