HomeSort by: relevance | last modified time | path
    Searched refs:xen_mcast_invlpg (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/xen/include/
xenpmap.h 54 void xen_mcast_invlpg(vaddr_t, kcpuset_t *);
  /src/sys/arch/x86/x86/
x86_tlb.c 308 xen_mcast_invlpg(TP_GET_VA(tp, i), target);
  /src/sys/arch/xen/x86/
x86_xpmap.c 344 xen_mcast_invlpg(vaddr_t va, kcpuset_t *kc) function in typeref:typename:void

Completed in 14 milliseconds