①在今宁夏灵川县东北。《方舆纪要》卷62灵州守御千户所：红城子“在所东北，黄河东岸。成化九年，套寇犯韦州，制臣王越督军败贼于此。又宏治十三年，总兵朱晖从红城子出兵捣河套”。

②即今宁夏固原县北黑城镇西南红城子。《清一统志·平凉府二》：红城子“在固原州北七十里。亦谓之黑城子。明成化初，官兵讨满四，屯兵于此”。