change for hal_sk