25 	struct psp_device *psp;  in psp_alloc_struct()  local
41 	struct psp_device *psp = data;  in psp_irq_handler()  local
59 static unsigned int psp_get_capability(struct psp_device *psp)  in psp_get_capability()
85 static int psp_check_sev_support(struct psp_device *psp)  in psp_check_sev_support()
96 static int psp_check_tee_support(struct psp_device *psp)  in psp_check_tee_support()
107 static void psp_init_platform_access(struct psp_device *psp)  in psp_init_platform_access()
124 static int psp_init(struct psp_device *psp)  in psp_init()
149 	struct psp_device *psp;  in psp_dev_init()  local
218 	struct psp_device *psp = sp->psp_data;  in psp_dev_destroy()  local
237 void psp_set_sev_irq_handler(struct psp_device *psp, psp_irq_handler_t handler,  in psp_set_sev_irq_handler()
244 void psp_clear_sev_irq_handler(struct psp_device *psp)  in psp_clear_sev_irq_handler()