Symbol: guest_add_vpcie