王隱《晉書》曰：漢末，博士敦煌侯瑾，善內學，語弟子曰：涼州城西泉水當竭，有雙闕起其上。至魏嘉平中，武威太守條茂起學舍，築闕于此泉。太守填水，造起門樓，與學闕相望。泉源徙發，重導于斯，故有靈淵之名也。澤水又東北流逕馬城東，城即休屠縣之故城也，本匈奴休屠王都，謂之馬城河。又東北與橫水合，水出姑臧城下，武威郡，涼州治。