Symbol: vmw_translate_guest_ptr