Lines Matching defs:lock

19  * bakery lock data structures in cacheable and Normal memory.
27  * expect that accesses to the lock have the specific type required by the
42  * bakery lock cache line
61 					     bakery_lock_t *lock)
63 	return (bakery_info_t *)((uintptr_t)lock +
85 /* Helper function to check if the lock is acquired */
90 	 * Even though lock data is updated only by the owning cpu and
101 static unsigned int bakery_get_ticket(bakery_lock_t *lock,
112 	my_bakery_info = get_bakery_info(me, lock);
139 		their_bakery_info = get_bakery_info(they, lock);
165 void bakery_lock_get(bakery_lock_t *lock)
177 	my_ticket = bakery_get_ticket(lock, me, is_cached);
181 	 * with that of others, and proceed to acquire the lock
192 		their_bakery_info = get_bakery_info(they, lock);
209 			 * their ticket value to change (either release the lock
211 			 * again for the same lock to have an even higher value)
223 	 * resource in the critical section read/write values after the lock is
229 void bakery_lock_release(bakery_lock_t *lock)
234 	my_bakery_info = get_bakery_info(plat_my_core_pos(), lock);
240 	 * before releasing the lock. Also ensure all loads in the critical
241 	 * section are complete before releasing the lock. Release the lock by