Todoque es un pueblo de la banda occidental de La Palma perteneciente al municipio de Los Llanos de Aridane, que da nombre a su vez a la montaña que está en sus cercanías. Aparece registrado en las tres fuentes más actualizadas con que contamos para la toponimia de esta isla: las fichas de campo de la recolección que Manuel Alvar con un grupo de sus alumnos realizó en los primeros años de la década de 1970, el corpus de Díaz Alayón (1987b: 772) y el GAC (40 B2).

El término Todoque pasó a la bibliografía guanche a partir de su aparición en las listas que sobre topónimos de ese origen elaboró Maximiliano Aguilar en las últimas décadas del siglo XIX, que conocemos gracias a la reproducción íntegra que de ellas hicieron Chil y Naranjo, Millares Torres y Bethencourt Alfonso; pero antes Todoque había aparecido en el Diccionario geográfico de Olive con la condición de "caserío". A su vez, lo había citado con la forma Tedoque el erudito palmero J.B. Lorenzo como "pago de Los Llanos", y finalmente el también palmero Féliz Duarte como "monte". De todo ello da cuenta Wölfel en sus Monumenta (1996: 988) y lo compara con las voces bereberes adek 'subir, ascender' y tádakt 'colina'.

Ya vemos que no contamos para este topónimo con registros anteriores al siglo XIX, y eso porque ni el pueblo fue importante en la historia primera de la isla ni la montaña del lugar es una elevación relevante dentro del contorno geográfico, pero sí podría postularse que fue la montaña el primer accidente que tuvo ese nombre, por lo que parece verosímil la interpretación de Wölfel.