Symbol: xpq_queue_invlpg
sys/arch/xen/include/xenpmap.h
43
void xpq_queue_invlpg(vaddr_t);
sys/arch/xen/x86/xenfunc.c
53
xpq_queue_invlpg(addr);