Fix for ifdef rather than if in SPINLOCK_PROFILE