2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
9 int (*func
)(void *iframe
);
13 unsigned int *kernel_pgdir
;
14 unsigned int *user_pgdir
;
15 unsigned int kernel_asid
;
16 unsigned int user_asid
;
18 struct vector vt
[256];