On Wed, Sep 18, 2013 at 01:00:02AM +0200, David Herrmann wrote: > Unfortunately on ARM-32 systems dev_t can be 64bit and thus we cannot > store it easily in void* keys for hashtables. Fix that by passing a > pointer to the dev_t variable instead. Applied. Zbyszek