Symbol: cr4_update_pce_mm