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()
86 static int psp_check_sev_support(struct psp_device *psp)  in psp_check_sev_support()
97 static int psp_check_tee_support(struct psp_device *psp)  in psp_check_tee_support()
108 static int psp_init(struct psp_device *psp)  in psp_init()
130 	struct psp_device *psp;  in psp_dev_init()  local
195 	struct psp_device *psp = sp->psp_data;  in psp_dev_destroy()  local
210 void psp_set_sev_irq_handler(struct psp_device *psp, psp_irq_handler_t handler,  in psp_set_sev_irq_handler()
217 void psp_clear_sev_irq_handler(struct psp_device *psp)  in psp_clear_sev_irq_handler()
222 void psp_set_tee_irq_handler(struct psp_device *psp, psp_irq_handler_t handler,  in psp_set_tee_irq_handler()
229 void psp_clear_tee_irq_handler(struct psp_device *psp)  in psp_clear_tee_irq_handler()