Home
last modified time | relevance | path

Searched refs:xen_mcast_invlpg (Results 1 – 3 of 3) sorted by relevance

/netbsd/src/sys/arch/xen/include/
Dxenpmap.h54 void xen_mcast_invlpg(vaddr_t, kcpuset_t *);
/netbsd/src/sys/arch/x86/x86/
Dx86_tlb.c308 xen_mcast_invlpg(TP_GET_VA(tp, i), target); in pmap_tlb_processpacket()
/netbsd/src/sys/arch/xen/x86/
Dx86_xpmap.c344 xen_mcast_invlpg(vaddr_t va, kcpuset_t *kc) in xen_mcast_invlpg() function