Symbol: do_va2pa