Symbol: xen_invlop
sys/x86/xen/xen_apic.c
60
static driver_filter_t xen_invlop;
sys/x86/xen/xen_apic.c
86
[IPI_TO_IDX(IPI_INVLOP)] = { xen_invlop, "itlb"},