kernel - Rename spinlock counter trick API