石马城

在今陕西勉县东十里。《三国志·蜀书·后主传》：建兴五年(227)春，“丞相亮出屯汉中，营沔北阳平石马”。