Delete no-longer-needed nvgpu headersHEADmasterjbakita-wip

The dependency on these was removed in commit 8340d234.

1 files changed, 0 insertions, 21 deletions

diff --git a/include/os/linux/debug_sched.h b/include/os/linux/debug_sched.h
deleted file mode 100644
index 34a8f55..0000000
--- a/include/os/linux/debug_sched.h
+++ /dev/null
@@ -1,21 +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_SCHED_H__
-#define __NVGPU_DEBUG_SCHED_H__
-
-struct gk20a;
-void gk20a_sched_debugfs_init(struct gk20a *g);
-
-#endif /* __NVGPU_DEBUG_SCHED_H__ */