东汉建安十四年[公元二零九年]

成及陈兰以氐六县叛，曹公遣于禁、臧霸等讨成，辽督张郃、牛盖等讨兰。成举众三千余人伪降禁，禁还。成遂将其众就兰，转入灊山。灊中有天柱山，高峻二十余里，道险狭，步径裁通，兰等壁其上。辽进到山下安营，攻之，斩兰、成首，尽虏其众。