HAVCR1 and ischemia reperfusion injury: Kidneys from murine ischemia-reperfusion injury (IRI) models were used as positive controls for both CD45 staining and KIM-1 staining, highlighting the infiltration of immune cells and the expression of KIM-1 in damaged proximal tubules.