Segfault на IA-64, но не на IA-32

Я не могу получить доступ к моей исходной учетной записи . Модераторам предлагается по возможности объединить аккаунты.
Вот мой вопрос. Следующие ниже программы на языке C не работают с IA-64, но отлично работают на IA-32.

int main()
  {
      int* p;
      p = (int*)malloc(sizeof(int));
      *p = 10;
      return 0;
  }

Почему это происходит?