Searched refs:xen_invlpg (Results 1 – 1 of 1) sorted by relevance
71 static driver_filter_t xen_invlpg; variable99 [IPI_TO_IDX(IPI_INVLPG)] = { xen_invlpg, "ipg" },486 xen_invlpg(void *arg) in xen_invlpg() function