06-11-2007 20:29 UTC-8 Devin Porter Doubles Up With Pocket Kings Copy link Share on Twitter Share on Facebook Devin Porter doubled up after his pocket kings held up against his opponent's pocket nines. After the hand, Porter was up to 40,000 in chips. Tags: Devin Porter