sev_irq_handler
if (psp->sev_irq_handler)
psp->sev_irq_handler(irq, psp->sev_irq_data, status);
psp->sev_irq_handler = handler;
psp_irq_handler_t sev_irq_handler;
psp_set_sev_irq_handler(psp, sev_irq_handler, sev);