There are none. And it's actually technically called AArch64 (though I'm certainly glad that people are just referring to it as ARM64).
No devices on the market yet but ARM Holdings just finished its design late last year and is now working with fabs (TSMC, GlobalFoundaries, etc) on its production. Expect first devices to be servers from the likes of Calxeda in 2014. Consumer devices should show up sometime in 2015.
It's actually an extremely interesting design and much more of a clean break than AMD64 is compared to x86/IA32. In a way I think it's the last of the original RISC architectures to have gone 64-bit, but perhaps the only one that might be available in a few years time (I'm really not sure how much longer POWER and Sparc are gonna be around...)