-
Jeffrey Lee authored
Detail: s/spinrw - Add a barrier to the Pause macro to prevent excessive spinning when multiple cores are competing for the same lock. Also, fix garbage pointer being passed to OS_UpCall by spinrw_write_sleep_lock Admin: Tested on Raspberry Pi 3 Version 0.04. Tagged as 'SyncLib-0_04'
eaab0406