c - How the function do_raw_spin_lock is implemented in linux -


while debugging panic issue realted spinlock, came across definition of spinlock in

include/linux/spinlock.h

. rather hard me understand definition. why __acquires(lock) used after do_raw_spin_lock function? signification of such declaration?

static inline void do_raw_spin_lock(raw_spinlock_t *lock) __acquires(lock) {         __acquire(lock);         arch_spin_lock(&lock->raw_lock); } 

please me how such declaration decoded , work.

it used static analysis.

http://en.wikipedia.org/wiki/sparse


Comments

Popular posts from this blog

linux - Does gcc have any options to add version info in ELF binary file? -

javascript - Clean way to programmatically use CSS transitions from JS? -

android - send complex objects as post php java -