I think there will be no deadlock as there is no circular wait.
For P[3] it will be m[3] and m[0] and for p[4] it will be m[4] and m[1]. There is no circular wait.
But there might be starvation because of higher priority processes.
So, answer is C.
Anyone correct me if I am wrong.