Delete no-longer-needed nvgpu headersHEADmasterjbakita-wip

The dependency on these was removed in commit 8340d234.

1 files changed, 0 insertions, 22 deletions

diff --git a/include/os/linux/debug_hal.h b/include/os/linux/debug_hal.h
deleted file mode 100644
index eee6f23..0000000
--- a/include/os/linux/debug_hal.h
+++ /dev/null
@@ -1,22 +0,0 @@
-/*
- * Copyright (C) 2017 NVIDIA Corporation.  All rights reserved.
- *
- * This software is licensed under the terms of the GNU General Public
- * License version 2, as published by the Free Software Foundation, and
- * may be copied, distributed, and modified under those terms.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- */
-
-#ifndef __NVGPU_DEBUG_HAL_H__
-#define __NVGPU_DEBUG_HAL_H__
-
-struct gk20a;
-void nvgpu_hal_debugfs_fini(struct gk20a *g);
-void nvgpu_hal_debugfs_init(struct gk20a *g);
-
-#endif /* __NVGPU_DEBUG_HAL_H__ */