Is this required for PIOS_Semaphore?