Symbol: xen_invltlb
sys/x86/xen/xen_apic.c
62
static driver_filter_t xen_invltlb;
sys/x86/xen/xen_apic.c
88
[IPI_TO_IDX(IPI_INVLTLB)] = { xen_invltlb, "itlb"},