Which ruler of Dev dynasty defeated Mahmud of Ghazni with combined strength of Jammu hill chiefs?

Vajar Dhar’s successor Suraj Dev established the Dev dynasty in 840 AD. He was a powerful ruler and an able administrator. He ruled till 912 AD, after which his successor Bhuj Dev ascended the throne. He was succeeded by Avtar Dev in 982 AD. He defeated Mahmud of Ghazni with the combined strength of all Jammu hill chiefs.