Symbol: xen_smp_rendezvous_action
sys/x86/xen/xen_apic.c
58
static driver_filter_t xen_smp_rendezvous_action;
sys/x86/xen/xen_apic.c
84
[IPI_TO_IDX(IPI_RENDEZVOUS)] = { xen_smp_rendezvous_action, "r" },