In this work, we study a class of diffusive predator-prey models with mutual interference among the predators while searching for food. Under Dirichlet boundary condition, by the fixed point index theory, we provide the necessary and sufficient conditions for the existence of coexistence states (i.e., stationary pattern). This is a strong contrast to the corresponding Neumann boundary problem, which exhibits bistability and admits no patterns.