[Minios-devel] [UNIKRAFT PATCH v2 0/3] minor mutex update

[Yuri Volchkov <yuri.volchkov@xxxxxxxxx>]

Changes since v1:
  - add forgotten UK_MUTEX_INITIALIZER patch
  
Yuri Volchkov (3):
  lib/uklock: rename mutex functions to match pthread_ analogues
  lib/uklock: introduce mutex_is_locked
  lib/uklock: introduce UK_MUTEX_INITIALIZER

 lib/uklock/include/uk/mutex.h | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

-- 
2.19.2


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel