Hardware-based synchronization support