Searched refs:xen_invlpg_pcid (Results 1 - 1 of 1) sorted by relevance
/freebsd-10.0-release/sys/x86/xen/ | ||
H A D | hvm.c | 280 xen_invlpg_pcid(void *arg) function 531 xen_ipis[IPI_TO_IDX(IPI_INVLPG)].filter = xen_invlpg_pcid; |
Completed in 101 milliseconds