Locks in Base_mappable class

[Yuxin Ren]

Hi All,

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140822/a5daec6c/attachment.html>