Searched defs:xpq_queue_invlpg (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/sys/arch/xen/x86/
H A Dx86_xpmap.c331 xpq_queue_invlpg(vaddr_t va) function

Completed in 188 milliseconds