diff --git a/drivers/gpu/nvgpu/include/nvgpu/vgpu/vgpu.h b/drivers/gpu/nvgpu/include/nvgpu/vgpu/vgpu.h
index 752c35fa9..e251ac717 100644
--- a/drivers/gpu/nvgpu/include/nvgpu/vgpu/vgpu.h
+++ b/drivers/gpu/nvgpu/include/nvgpu/vgpu/vgpu.h
@@ -80,6 +80,7 @@ int vgpu_get_timestamps_zipper(struct gk20a *g,
 		u32 source_id, u32 count,
 		struct nvgpu_cpu_time_correlation_sample *samples);
 int vgpu_init_hal(struct gk20a *g);
+int vgpu_init_hal_os(struct gk20a *g);
 int vgpu_get_constants(struct gk20a *g);
 u64 vgpu_mm_bar1_map_userd(struct gk20a *g, struct nvgpu_mem *mem, u32 offset);
 int vgpu_gr_isr(struct gk20a *g, struct tegra_vgpu_gr_intr_info *info);
diff --git a/drivers/gpu/nvgpu/os/linux/vgpu/vgpu_linux.c b/drivers/gpu/nvgpu/os/linux/vgpu/vgpu_linux.c
index 114735bcd..827a7737d 100644
--- a/drivers/gpu/nvgpu/os/linux/vgpu/vgpu_linux.c
+++ b/drivers/gpu/nvgpu/os/linux/vgpu/vgpu_linux.c
@@ -545,3 +545,8 @@ int vgpu_tegra_resume(struct device *dev)
 
 	return err;
 }
+
+int vgpu_init_hal_os(struct gk20a *g)
+{
+	return 0;
+}
diff --git a/drivers/gpu/nvgpu/vgpu/vgpu.c b/drivers/gpu/nvgpu/vgpu/vgpu.c
index 96c6ede88..7141cbfd6 100644
--- a/drivers/gpu/nvgpu/vgpu/vgpu.c
+++ b/drivers/gpu/nvgpu/vgpu/vgpu.c
@@ -363,6 +363,10 @@ int vgpu_init_hal(struct gk20a *g)
 		break;
 	}
 
+	if (err == 0) {
+		err = vgpu_init_hal_os(g);
+	}
+
 	return err;
 }