Man pages matching name futex in section 4:

futex.4.es

debian 10 / manpages-es