Man pages matching name starpu_codelet_profile in section 1:

starpu_codelet_profile.1.en	debian 10 / starpu-contrib-tools
starpu_codelet_profile.1.en	debian 10 / starpu-tools
starpu_codelet_profile.1.en	debian 11 / starpu-contrib-tools
starpu_codelet_profile.1.en	debian 11 / starpu-tools
starpu_codelet_profile.1.en	debian 12 / starpu-contrib-tools
starpu_codelet_profile.1.en	debian 12 / starpu-tools