Symbol: xpq_flush_cache
sys/arch/xen/include/xen.h
133
void xpq_flush_cache(void);
sys/arch/xen/x86/xenfunc.c
255
xpq_flush_cache();