Symbol: xen_invlcache
sys/x86/xen/xen_apic.c
65
static driver_filter_t xen_invlcache;
sys/x86/xen/xen_apic.c
91
[IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },