We study 3 cases in our paper:
Case 1: sgl_map_user_pages loop
Case 2: hv_pci_enter_d0 concurrency
Case 3: p9_check_errors unfamiliar