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 *****************************************************************************/
22 #ifndef __gc_hal_kernel_hardware_vg_h_
23 #define __gc_hal_kernel_hardware_vg_h_
25 /* gckHARDWARE object. */
31 /* Pointer to gckKERNEL object. */
34 /* Pointer to gckOS object. */
37 /* Chip characteristics. */
38 gceCHIPMODEL chipModel;
39 gctUINT32 chipRevision;
40 gctUINT32 chipFeatures;
41 gctUINT32 chipMinorFeatures;
42 gctUINT32 chipMinorFeatures2;
43 gctBOOL allowFastClear;
55 gctPOINTER powerMutex;
56 gctUINT32 powerProcess;
57 gctUINT32 powerThread;
58 gceCHIPPOWERSTATE chipPowerState;
59 gceCHIPPOWERSTATE chipPowerStateGlobal;
60 gctISRMANAGERFUNC startIsr;
61 gctISRMANAGERFUNC stopIsr;
62 gctPOINTER isrContext;
63 gctPOINTER pageTableDirty;
65 #if gcdPOWEROFF_TIMEOUT
66 gctUINT32 powerOffTime;
67 gctUINT32 powerOffTimeout;
68 gctPOINTER powerOffTimer;
71 gctBOOL powerManagement;
74 #endif /* __gc_hal_kernel_hardware_h_ */