1 /****************************************************************************
3 * Copyright (C) 2005 - 2013 by Vivante Corp.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the license, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not write to the Free Software
17 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19 *****************************************************************************/
24 #ifndef __gc_hal_kernel_debugfs_h_
25 #define __gc_hal_kernel_debugfs_h_
27 #define MAX_LINE_SIZE 768 /* Max bytes for a line of debug info */
30 typedef struct _gcsDebugFileSystemNode gcsDebugFileSystemNode ;
33 /*******************************************************************************
37 *******************************************************************************/
39 gctINT gckDebugFileSystemIsEnabled(void);
41 gctINT gckDebugFileSystemInitialize(void);
43 gctINT gckDebugFileSystemTerminate(void);
46 /*******************************************************************************
50 *******************************************************************************/
52 gctINT gckDebugFileSystemCreateNode(
54 IN gctCONST_STRING ParentName ,
55 IN gctCONST_STRING NodeName,
56 OUT gcsDebugFileSystemNode **Node
60 void gckDebugFileSystemFreeNode(
61 IN gcsDebugFileSystemNode * Node
66 void gckDebugFileSystemSetCurrentNode(
67 IN gcsDebugFileSystemNode * Node
72 void gckDebugFileSystemGetCurrentNode(
73 OUT gcsDebugFileSystemNode ** Node
77 void gckDebugFileSystemPrint(
78 IN gctCONST_STRING Message,