In the Base_mappable class, in /fiasco/src/kern/mapping_tree.cpp file,

what is type of the lock in this class, helping lock, spin lock or others?

And usually I find it is hard to identify the type of a lock.

Could someone tell me how to figure out the lock's type?

Thank you very much.

Yuxin