Reset whandle to CAP_NIL in futex_destroy()
commitf4cb6c5fab0eeda943f0b98226bf10e76be11e76
authorJakub Jermar <jakub@jermar.eu>
Sun, 11 Nov 2018 10:26:12 +0000 (11 11:26 +0100)
committerJakub Jermar <jakub@jermar.eu>
Sun, 11 Nov 2018 15:47:39 +0000 (11 16:47 +0100)
treee9f8b137a1da81fb0e0d58d7790f36c9d0635035
parent45c8eea59f6dced36c60fa4742c6087a34cd81bd
Reset whandle to CAP_NIL in futex_destroy()
uspace/lib/c/generic/private/futex.h