Locks in Base_mappable class

Yuxin Ren ryx at gwmail.gwu.edu
Fri Aug 22 22:45:51 CEST 2014

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

More information about the l4-hackers mailing list