Recursive mutex: Fail acquisition if it would cause integer overflow.
Recursive mutex: Fail acquisition if it would cause integer overflow.

Hopefully no one is attempting to recursively acquire a mutex this many times,
but you never know.

seL4/libsel4sync,seL4/libsel4sync