[IA64] Re-implement spinaphores using ticket lock concepts