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

Or maybe better 'masked' because it just returns a value and changes nothing.