Symbol: xen_invlrng
sys/x86/xen/xen_apic.c
64
static driver_filter_t xen_invlrng;
sys/x86/xen/xen_apic.c
90
[IPI_TO_IDX(IPI_INVLRNG)] = { xen_invlrng, "irg" },