[IA64-SGI] fix SGI Altix tioce_reserve_m32() bug