Symbol: addr_arch_gva2gpa