Symbol: xen_invlpg
sys/x86/xen/xen_apic.c
63
static driver_filter_t xen_invlpg;
sys/x86/xen/xen_apic.c
89
[IPI_TO_IDX(IPI_INVLPG)] = { xen_invlpg, "ipg" },