23 	struct psp_device *psp;  in psp_alloc_struct()  local
39 	struct psp_device *psp = data;  in psp_irq_handler()  local
60 static unsigned int psp_get_capability(struct psp_device *psp)  in psp_get_capability()
79 static int psp_check_sev_support(struct psp_device *psp,  in psp_check_sev_support()
91 static int psp_check_tee_support(struct psp_device *psp,  in psp_check_tee_support()
103 static int psp_check_support(struct psp_device *psp,  in psp_check_support()
116 static int psp_init(struct psp_device *psp, unsigned int capability)  in psp_init()
138 	struct psp_device *psp;  in psp_dev_init()  local
208 	struct psp_device *psp = sp->psp_data;  in psp_dev_destroy()  local
223 void psp_set_sev_irq_handler(struct psp_device *psp, psp_irq_handler_t handler,  in psp_set_sev_irq_handler()
230 void psp_clear_sev_irq_handler(struct psp_device *psp)  in psp_clear_sev_irq_handler()
235 void psp_set_tee_irq_handler(struct psp_device *psp, psp_irq_handler_t handler,  in psp_set_tee_irq_handler()
242 void psp_clear_tee_irq_handler(struct psp_device *psp)  in psp_clear_tee_irq_handler()