IA64のr13というレジスタは、カレントスレッドを示しているレジスタらしい。 http://www.linuxclustersinstitute.org/Linux-HPC-Revolution/Archive/PDF00/Aziz.pdf IA-64のお勉強ノート