Đầu mùa hạ năm Kiến An thứ mười lăm, quân Tào mượn đường nam chinh Hán Trung, rốt cục dẫn phát chư hùng Quan Lũng khởi binh phản loạn, Mã Siêu, Hàn Toại, Hầu Tuyển, Trình Ngân, Dương Thu và mười bộ phận quân Quan Lũng đều khởi binh tạo phản, bọn họ liên kết chống lại quân Tào, khởi binh mười vạn…