ia64/xen-unstable

view xen/include/asm-ia64/vmx_platform.h @ 5704:9b73afea874e

Certain types of event channel are now auto-bound to vcpu0 by Xen.
Make sure that xenolinux agrees with this.
author sos22@douglas.cl.cam.ac.uk
date Fri Jul 08 15:35:43 2005 +0000 (2005-07-08)
parents 649cd37aa1ab
children b2ea26d2099a
line source
1 /*
2 * vmx_platform.h: VMX platform support
3 * Copyright (c) 2004, Intel Corporation.
4 *
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms and conditions of the GNU General Public License,
7 * version 2, as published by the Free Software Foundation.
8 *
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
12 * more details.
13 *
14 * You should have received a copy of the GNU General Public License along with
15 * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
16 * Place - Suite 330, Boston, MA 02111-1307 USA.
17 *
18 */
19 #ifndef __ASM_IA64_VMX_PLATFORM_H__
20 #define __ASM_IA64_VMX_PLATFORM_H__
22 #include <public/xen.h>
25 struct mmio_list;
26 typedef struct virutal_platform_def {
27 //unsigned long *real_mode_data; /* E820, etc. */
28 unsigned long shared_page_va;
29 //struct vmx_virpit_t vmx_pit;
30 //struct vmx_handler_t vmx_handler;
31 //struct mi_per_cpu_info mpci; /* MMIO */
32 unsigned long pib_base;
33 unsigned char xtp;
34 struct mmio_list *mmio;
35 } vir_plat_t;
37 #endif