As far as I know, the registers names in IA-64 are different from the registers names in x86-64/AMD64, but I am unable to find what the registers names are.
I found on one website that the general registers in IA-64 are called r0 to r127, while I found on another website that they are called gr0 to gr127.
Where can I find the correct information?