diff --git a/include/bakery_lock.h b/include/bakery_lock.h index 96153bc19..c7ff903f0 100644 --- a/include/bakery_lock.h +++ b/include/bakery_lock.h @@ -45,8 +45,6 @@ typedef struct { #define NO_OWNER (-1) void bakery_lock_init(bakery_lock* bakery); -/* Check whether a lock is held. Mainly used for debug purpose. */ -int bakery_lock_held(unsigned long mpidr, const bakery_lock * bakery); void bakery_lock_get(unsigned long mpidr, bakery_lock* bakery); void bakery_lock_release(unsigned long mpidr, bakery_lock* bakery); int bakery_lock_try(unsigned long mpidr, bakery_lock* bakery); diff --git a/lib/sync/locks/bakery/bakery_lock.c b/lib/sync/locks/bakery/bakery_lock.c index 964124824..444b6a188 100644 --- a/lib/sync/locks/bakery/bakery_lock.c +++ b/lib/sync/locks/bakery/bakery_lock.c @@ -88,17 +88,8 @@ void bakery_lock_release(unsigned long mpidr, bakery_lock * bakery) unsigned int entry = platform_get_core_pos(mpidr); assert_bakery_entry_valid(entry, bakery); - assert(bakery_lock_held(entry, bakery)); + assert(bakery->owner == entry); bakery->owner = NO_OWNER; bakery->number[entry] = 0; } - -int bakery_lock_held(unsigned long mpidr, const bakery_lock * bakery) -{ - unsigned int entry = platform_get_core_pos(mpidr); - - assert_bakery_entry_valid(entry, bakery); - - return bakery->owner == entry; -}