IDA 4.6 Had 64 bit debugging but it was rough and buggy. IDA 4.7 or the softice update might be the way to go on this one.