genodelabs/genode — pull request #1293 by chrism333 (2014-11-17 14:24:37+00:00)
Title: dde_linux: fix bug in find_next_zero_bit_le

value '1' has a default type of int, but long is needed to cover all 64 bits