[justincormack]

That's why Linux has the futex which is userspace only if not contended only jumps to kernel code for the contended case.