Lines Matching full:sgi
28 /* SGI number used for Event management driver */
495 pr_warn("Unhandled SGI node 0x%x event 0x%x. Expected with Xen hypervisor\n", in xlnx_call_notify_cb_handler()
575 * for each SGI interrupt ensure its mapped by GIC IRQ domain in xlnx_event_init_sgi()
592 /* Each SGI needs to be associated with GIC's IRQ domain. */ in xlnx_event_init_sgi()
601 * 3 args for: interrupt type (SGI), interrupt # (set later), type in xlnx_event_init_sgi()
605 /* Set SGI's hwirq */ in xlnx_event_init_sgi()
653 /* Initialize the SGI */ in xlnx_event_manager_probe()
656 dev_err(&pdev->dev, "SGI Init has been failed with %d\n", ret); in xlnx_event_manager_probe()
667 dev_err(&pdev->dev, "SGI registration not supported by TF-A or Xen\n"); in xlnx_event_manager_probe()
669 dev_err(&pdev->dev, "SGI %d registration failed, err %d\n", sgi_num, ret); in xlnx_event_manager_probe()
677 dev_info(&pdev->dev, "SGI %d Registered over TF-A\n", sgi_num); in xlnx_event_manager_probe()
703 dev_err(&pdev->dev, "SGI unregistration over TF-A failed with %d\n", ret); in xlnx_event_manager_remove()