I doubt if tangut( xia) kingdom was muslim.
Huis are descendants of arab traders who had settlements in canton snd quanzhou and xiamen as early as the 700's AD. One of the oldest mosque in guangzhou built in 627 AD.
Plus when mongols conquered china, middle eastern administrators were brought in to manage the state gor the mongols.