Update remote_spinlock.c