Make UEFI boot-platform build again
[haiku.git] / headers / private / kernel / arch / sh4 / vcpu_struct.h
blobe0f425e9cddc7d60e36928e8011385bf1e20bd28
1 /*
2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
4 */
5 #ifndef _VCPU_STRUCT_H
6 #define _VCPU_STRUCT_H
8 struct vector {
9 int (*func)(void *iframe);
12 typedef struct {
13 unsigned int *kernel_pgdir;
14 unsigned int *user_pgdir;
15 unsigned int kernel_asid;
16 unsigned int user_asid;
17 unsigned int *kstack;
18 struct vector vt[256];
19 } vcpu_struct;
21 #endif