Man pages matching name tracefs_options in section 3:

tracefs_options.3.en

debian 12 / libtracefs-doc