Julien Grall ac959cf544 xen: introduce xen_has_percpu_evtchn()
xen_vector_callback_enabled is x86 specific and availability of
per-cpu event channel delivery differs on other architectures.

Introduce a new helper to check if there's support for per-cpu event
channel injection.

Submitted by: Elliott Mitchell <ehem+freebsd@m5p.com>
Reviewed by: royger
Differential Revision: https://reviews.freebsd.org/D29402
2021-07-28 17:27:05 +02:00
..
2021-07-28 17:27:03 +02:00
2021-07-28 13:35:34 +00:00
2021-07-28 17:27:03 +02:00
2021-05-05 15:26:09 -06:00
2021-07-28 17:27:03 +02:00
2021-07-28 13:21:22 +03:00
2021-07-28 13:21:22 +03:00
2021-07-24 12:52:41 -07:00