石马城

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