1 /****************************************************************************
3 * Copyright (C) 2005 - 2014 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_vg_h_
23 #define __gc_hal_kernel_vg_h_
26 #include "gc_hal_driver.h"
27 #include "gc_hal_kernel_hardware.h"
29 /******************************************************************************\
30 ********************************** Structures **********************************
31 \******************************************************************************/
33 /* gckKERNEL object. */
39 /* Pointer to gckOS object. */
42 /* Pointer to gckHARDWARE object. */
43 gckVGHARDWARE hardware;
45 /* Pointer to gckINTERRUPT object. */
46 gckVGINTERRUPT interrupt;
48 /* Pointer to gckCOMMAND object. */
51 /* Pointer to context. */
54 /* Pointer to gckMMU object. */
66 /* Pointer to gckOS object. */
69 /* Pointer to gckHARDWARE object. */
70 gckVGHARDWARE hardware;
72 /* The page table mutex. */
75 /* Page table information. */
76 gctSIZE_T pageTableSize;
77 gctPHYS_ADDR pageTablePhysical;
78 gctPOINTER pageTableLogical;
80 /* Allocation index. */
85 #endif /* __gc_hal_kernel_h_ */