Насколько я знаю, имена регистров в IA-64 отличаются от имен регистров в x86-64 / AMD64, но я не могу найти, каковы имена регистров.
На одном веб-сайте я обнаружил, что общие регистры в IA-64 называются r0 до r127, а на другом веб-сайте они называются gr0 до gr127.
Где я могу найти правильную информацию?