Fix hvcc_update_ptl