m-stein/genode — comment on commit 152245ac40371616f8d287e1bc4ae515b5e8164f
File:  line 0
By nfeske:

Why not calling this function 'mask' because that is what it does?