Egress of thymocytes to the periphery in mock and HIV-infected TKO mice was measured via flow cytometry by gating on human CD45+ cells in the spleens of mice at 10 weeks post-infection (Figure 5A). Here, PTPRC is linked to infection.