Symbol: pvo_vaddr_compare