This pic shows the route down from Round Top to Davis Peak (or previously referred to Davis Mountain) On the map, the Davis Mountain shown here is listed as Davis Mountain while Davis Peak has no name on the map. Yet, the Davis Peak here is the one with the prominence.
See here Oh well, this worked for me. 4-11-09