Man pages matching name rte_launch.h in section 3:

rte_launch.h.3.en

debian 13 / dpdk-doc