Symbol: xpq_increment_idx
sys/arch/xen/x86/x86_xpmap.c
239
xpq_increment_idx();
sys/arch/xen/x86/x86_xpmap.c
250
xpq_increment_idx();