_sx_xunlock_hard
_sx_xunlock_hard(sx, (uintptr_t)curthread, file, line);
void _sx_xunlock_hard(struct sx *sx, uintptr_t x LOCK_FILE_LINE_ARG_DEF);
_sx_xunlock_hard(sx, x);