added 64 bit registers for AT&T syntax