HW_SPINLOCK_NUMBER   66 drivers/hwspinlock/sirf_hwspinlock.c 					  HW_SPINLOCK_NUMBER),
HW_SPINLOCK_NUMBER   76 drivers/hwspinlock/sirf_hwspinlock.c 	for (idx = 0; idx < HW_SPINLOCK_NUMBER; idx++) {
HW_SPINLOCK_NUMBER   87 drivers/hwspinlock/sirf_hwspinlock.c 				   HW_SPINLOCK_NUMBER);